Este documento presenta diferentes tablas de verdad y proposiciones lógicas equivalentes. Explica conceptos como tautología, contradicción y negación de un condicional. Además, proporciona una tabla con las proposiciones lógicas equivalentes, incluyendo su nombre y realiza ejemplos para demostrar equivalencias sin usar tablas de verdad.

1. Lógica FBMM02 Profesionalización en Servicio Profesor: Ricardo Escalante

3. Tablas de verdad

4. De Morgan

6. Negación de un condicional p  q F V F F p V V F F q V F V F p  q V F V V  (p  q) F V F F  q F V F V

7. Tautología Toda tautología se simboliza con V 0 p V V V V F F F F q V V F F V V F F r V F V F V F V F p  q V V V V V V F F (p  q)  r V V V V V V V F p  [ (p  q)  r ] V V V V V V V V

8. Contradicción Toda Contradicción se simboliza con F 0 p V V V V F F F F q V V F F V V F F r V F V F V F V F  p F F F F V V V V  q F F V V F F V V  r F V F V F V F V p  p V V V V V V V V q  q V V V V V V V V (p  p)  (q  q) V V V V V V V V r  r F F F F F F F F [ (p  p)  (q  q) ]  ( r  r) F F F F F F F F

9. Proposiciones Equivalentes Proposición Equivalente a Nombre de la equivalencia p ~~p Ley de la doble negación p  V 0 p Ley del neutro para la conjunción p  F 0 p Ley del neutro para la disyunción p  ~p F0 Ley de la contradicción p  ~p V0 Ley de la tautología p  q q  p Ley conmutativa para la conjunción p  q q  p Ley conmutativa para la disyunción (p  q)  r p  ( q  r) Ley asociativa para la conjunción (p  q)  r p  ( q  r) Ley asociativa para la disyunción p  ( q  r) (p  q)  (p  r) Ley distributiva del  respecto al  p  ( q  r) (p  q)  (p  r) Ley distributiva del  respecto al  ~ (p  q) ~p  ~q Ley de De Morgan (negación de una conjunción) ~ (p  q) ~p  ~q Ley de De Morgan (negación de una disyunción) p  q ~p  q Equivalencia del Condicional ~(p  q) p  ~q Equivalencia de la negación de un condicional p  q ~q  ~p Equivalencia del contra recíproco del Condicional p  p p Idempotencia para la conjunción p  p p Idempotencia para la disyunción p  F 0 F 0 Contradicción p  V 0 V 0 Tautología p  q (p  q)  (q  p) Equivalencia de la bicondicional