Lógica proposicional: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
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">
|