Leyes de De Morgan (Bicondicional)

Este es el último tema respecto a las proposiciones y tablas de verdad. Es la negación más larga y compleja.

Al igual que en la condicional, al momento de realizar una negación los conectores lógicos cambian. Ejemplo:

~(P<->q)

~(p->q) v ~(q->p)

(P^~q) v (q^~p)

Opinión personal

Es la negación con la que más cuidado hay que tener al momento de operar, pues se deben cambiar conectores y utilizar negaciones individuales por término. Pero es bastante útil y ejercita nuestra capacidad de análisis.

Mejorar Comprensión

Como este es el último tema de las tablas de verdad debemos tener muy claros todos los conceptos de los otros conectores lógicos ya que haremos una unión de todos.