A tabela-verdade para o (implicação) é a seguinte - E-Calculo

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 ! .