Proposición condicional

Es condicionado sobre el valor de verdad de P, P es llamada la Hipotesis y Q es llamada la conclusión.

El Bi-Condicional

Esta se interpreta como el conjunto de 2 proposiciones.

Leyes de D'Morgan

La negación de una "y" es lógicamente equivalente a "O" de cada una de las proposiciones simples negadas.

La negación "O" es lógicamente equivalente a "Y" de cada una de las proposiciones negadas.