TAUTOLOGIAS

Es la repetición de un mismo pensamiento, a través de distintas expresiones. Para

nuestro interés son consideradas leyes lógicas, es decir como modelos aplicables
para la inferencia.

Se entiende por tautología aquella proposición que siempre es verdadera para todos
los posibles casos (V o F) que la integran.

1.- Doble negación.

¬(¬p) ⇔ p
2.- Leyes conmutativas.
a). (p∨q)⇔(q∨p)
b). (p∧q)⇔(q∧p)
c). (p↔q)⇔(q↔p)
3.- Leyes asociativas.
a). [(p∨q)∨r]⇔[p∨(q∨r)]
b). [(p∨q)∨r]⇔[p∨(q∨r)]
4.- Leyes distributivas.
a). [p∨(q∧r)]⇔[(p∨q)∧(p∨r)]
b). [p∧(q∨r)]⇔[(p∧q)∨(p∧r)]
5.- Leyes de Morgan.
a). ¬(p∨q)⇔(¬p∧¬q)
b). ¬(p∧q)⇔(¬p∨¬q)
6. Contrareciproca
(p→q)⇔(~q→~p)
7.- Equivalente entre condicional y dusyuncion
(p→q)⇔(¬p∨q)
8. Negacion del condicional
∼(p→q)⇔p∧¬q
8.- Equivalencia o doble implicación
(p↔q)⇔[(p→q)∧(q→p)]
9. Ley del tercero excluido
p∨¬p