A tabela-verdade para o (implicação) é a seguinte - E-Calculo
Propaganda
Por exemplo: existe e é única a solução da equação ln x=0. Outro exemplo é o postulado das paralelas na Geometria Euclidiana: “Existe, e é única, a reta paralela a uma reta r dada, que passa por um ponto P dado, sendo P não pertencente a r”. Observemos que ! , mas que não implica em ! .
