Tablas de Verdad:

p ¬p
V F
F V
Conjunción Disyunción

p q p∧q p q p∨q
V V V V V V
V F F
V F V
F V F
F V V
F F F
F F F
Condicional Bicondicional

p q p→q p q p ↔q
V V V
V V V
V F F
V F F
F V V
F V F
F F V
F F V

Una tautología es una proposición compuesta que es verdadera para todos los valores de verdad de las
proposiciones que la componen.

Por ejemplo: p ∨ ¬p “ Soy un hombre o no soy un hombre”

Una contradicción es una proposición compuesta que es falsa para todos los valores de verdad de las
proposiciones que la componen.

Por ejemplo: p ∧ ¬p “Soy un hombre pero no soy un hombre”

Leyes de Morgan:

Se cumple que para dos proposiciones P y Q

¬(P∧Q) ≡ ¬P ∨ ¬Q

¬(P∨Q) ≡ ¬P ∧ ¬Q

Lo anterior puede generalizarse a cualquier número de proposiciones