Lógica proposicional: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Eduamf (discussão | contribs)
Eduamf (discussão | contribs)
Linha 468:
 
==== Bi-implicação ou Equivalência ====
: A bi-implicação, ou equivalência (SE, SOMENTE SE), entre duas fórmulas é verdadeira quando ambas são verdadeiras ou ambas são falsas.
 
<div align="center">