Reglas de inferencia y ejercicios

1. Modus Ponendo Ponens (MPP).

1) p
2) p → q
,como implicación lógica [ p  ( p → q)]  q
 q

2. Ley de Doble Negación (DN).

(p) p
y , como implicaciones lógicas: (p )  p y p  (p ) .
 p  (p)

3. Modus Tollendo Tollens (MTT).

1) p → q
2) q
, como implicación lógica: [( p → q)  q]  p .
 p

4. a) Ley de Adjunción (A).

1) p
2) q
, como implicación lógica: [( p)  (q )]  ( p  q ).
 pq

b) Ley de Simplificación (S).

pq
, como implicación lógica: ( p  q )  p ó ( p  q )  q .
 p
q

5. Modus Tollendo Ponens (MTP).

1) p  q
2)  q
, como implicación lógica: [( p  q)  q]  p .
 p

6. Ley de Adición (LA).

p
, como implicación lógica: p  p  q .
 pq
7. Ley del Silogismo Hipotético (SH).

1) p → q
2) q → r
, como implicación lógica: [( p → q)  (q → r )]  ( p → r ) .
 p→r

8. Ley del Silogismo Disyuntivo (SD).

1) pq
2) p→r
3) q→s
, como implicación lógica: [( p  q)  ( p → r )  (q → s)]  (r  s) .
 rs

9. Ley del Simplificación Disyuntiva (PD).

p p
, como implicación lógica: ( p  p )  p .
 p

10. Leyes Conmutativas (LC).

pq pq
y ,
 q p  q p

11. Leyes de De Morgan (LD).

( p  q) p  q
y ,
 p  q  ( p  q)

( p  q) p  q
y .
 p  q  ( p  q)

12. Ley de Proposiciones Bicondicionales (PB).

pq
, como implicación lógica: ( p  q)  ( p → q)  (q → p) .
 p→q
q→ p

1) p → q
2) q → p
, como implicación lógica: ( p → q)  (q → p)  ( p  q) .
 pq
Ejercicios

1. Demuestre p de las siguientes premisas:

1) r → s P
2) r P
3) s → q P
4) q → p P

2. Demuestre q de las siguientes premisas:

1) p → r P
2) r → s P
3) p P
3) s → t P
4) t → u P
5) u → q P

3. Demuestre r  s de:
1) p  q P
2) p  q → t P
3) t → u  v P
4) u  v → r  s P

4. Demuestre s de:
1) p → q P
2) q → r P
3) s → r P
4) p P

5. Demuestre p de:
1) p → q P
2) q → r P
3) r → s P
4) s P

6. Demuestre u de:
1) p  t P
2) s → t P
3) s  q P
4) q  p → u P
7. Demuestre q  s de:
1) q  r P
2) q → s P
3) r P

8. Demuestre s  q de:
1) s → q P
2) (t  r ) P
3) s → (t  r ) P

9. Demuestre p  r de:
1) p  q P
2) r → q P

10. Demuestre s de:

1) p → q P
2) q → r P
3) r P
4) p  (t  s ) P

11. Demuestre r de:

1) q  s P
2) s P
3) (r  s ) → q P

12. Demuestre p de:

1) t → p  q P
2) (t ) P
3) q P

13. Demuestre p de:

1) r P
2) p → q P
3) q → r P

14. Demuestre t de:

1) p  r P
2) s P
3) p → s P
4) r → t P
15. Demuestre q de:
1) q  s P
2) s → t P
3) t P

16. Demuestre q de:

1) p P
2) (q  p ) → r P
3) r P

17. Demuestre t de:

1) p → q P
2) p → r P
3) q  s P
4) r  t P

18. ¿Qué reglas de inferencia se utilizan en las siguientes deducciones?

a) Alicia estudia matemáticas. Por tanto, Alicia estudia o bien matemáticas o bien
ingeniería.
b) Henry estudia matemáticas e ingeniería. Por tanto, Henry estudia matemáticas.
c) Si llueve, se cierra la piscina. Llueve; por tanto, está cerrada.
d) Si nieva hoy, se cerrará la universidad. La universidad no está cerrada hoy. Por tanto,
no nieva hoy.
e) Si voy a nadar, entonces estaré al sol demasiado tiempo. Si estoy al sol demasiado
tiempo, me quemaré. Por tanto, si voy a nadar me quemaré.

19. Para cada uno de los siguientes conjuntos de premisas, ¿qué conclusión o conclusiones
de pueden deducir? Indique las reglas de inferencia utilizadas para obtener la
conclusión.
a) “Si me tomo el día libre, bien llueve o bien nieva”. “Me tomé el martes o el jueves
libre”. “Hizo sol el martes”. No nevó el jueves”.
b) “Si ceno comidas picantes, entonces tengo sueños extraños”. “Tengo sueños extraños
si truena por la noche”. “No he tenido sueños extraños”.
c) “Soy bien inteligente o bien afortunado”. “No soy afortunado”. “Si soy afortunado,
me ganaré la lotería”.
d) “Lo que es bueno para las empresas, lo es para tu país”. Lo que es bueno para tu país
es bueno para ti”. “Lo que es bueno para las empresas es que consumas
compulsivamente”.
e) “Estoy soñando o estoy alucinando”. “No estoy soñando”. “Si estoy alucinando, veo
elefantes corriendo por la carretera”.

20. Utilice las reglas de inferencia para mostrar que las hipótesis “Tomás trabaja duro”, “Si
Tomás trabaja duro, será un joven juicioso”, Si Tomás es un joven juicioso, no conseguirá
el trabajo” implican la conclusión “Tomás no conseguirá el trabajo”.