TAUTOLOGIAS

• Las tautologías son muy importantes en la lógica matemática. Estas leyes

formaran la base sobre la cual se puede fundar ciertos métodos de
demostración.

1.- Tautología Trivial pq

2.- Ley de la doble negación p  ¬(¬p)

3.- Ley del medio excluido p v (¬p)

4.- Razonamiento directo [ (p→q)ˆp] =>q

5.- Razonamiento Indirecto [ (p→q)ˆ (¬q)] => ¬p

6.- Ley de la Transitividad [(p→q) ˆ(q→r)] =>(p→r)

7.- Ley de la Contra recíproca (p→q) (¬q→¬p)

8.- Silogismo Disyuntivo [(pvq)ˆ¬p] =>q

 Voy o no voy

1) Primero identificamos las proposiciones atómicas.

p: voy

2) Enseguida definimos la proposición compuesta:

p v ¬p

Evaluamos por medio de la tabla de verdad: p ¬p pv¬p

V F V
F V V

Como resultado se obtuvo una tautología, la cual se trata de la Ley del Medio Excluido.
 EJEMPLO 2
Si 2 divide a un entero positivo N, entonces N es par. Se tiene que N no es par,
por lo tanto 2 no divide a N

1)Primero identificamos las proposiciones atómicas.

p: 2 divide a un entero positivo N

q: N es par

Enseguida definimos la proposición compuesta:

[(p→q)ˆ¬q]→¬p
[(p→q)ˆ¬q]→¬p
Realizamos la tabla de verdad:

p q p→q ¬q (p→q)ˆ¬q ¬p [(p→q)ˆ¬q]→¬p

V V V F F F V
V F F V F F V
F V V F F V V
F F V V V V V

Como se ve el resultado, se está ante una implicación, ya que es una

condicional que es tautología, la cual es conocida como Razonamiento
Indirecto