TALLER REGLAS DE INFERENCIA 27/03/2019

I. Aplicar la regla de inferencia para obtener la conclusión.

Preposición Razón Preposición Razón

1. 1. p ~q Premisa 2. 1. ~p q Premisa
2. p Premisa 2. ~p Premisa
1,2 Modus
3. - - - - 3. - - - - 1,2 Modus Ponens
Ponens

1. (~p q)
3. 1. (~p q) ~(q r) Premisa 4. Premisa
(q ~r)
2. ~p q Premisa 2. ~p q Premisa
1,2 Modus
3. - - - - 3. - - - - 1,2 Modus Ponens
Ponens

1. (~p q)
5. 1. (~p q) ~(q r) Premisa 6. Premisa
(q ~r)
2. q r Premisa 2.~(q ~r) Premisa
1,2 Modus
3. - - - - 3. - - - - 1,2 Modus Tollens
Tollens

7. 1. ~(~p q) Premisa 8. ~(p ~q) Premisa

2. - - - - De Morgan 2. - - - - De Morgan

1. (~p q)
9. 1. (p r) ~q Premisa 10. Premisa
(q ~r)
2. ~q r Premisa 2. (q ~r) s Premisa
1,2 Ley
3. - - - - 3. - - - - 1,2 Ley Transitiva
Transitiva

1. (~p q)
11. 1. (p r) ~q Premisa 12. Premisa
(q ~r)
2. ~q r Premisa 2. (q ~r) s Premisa
3. ~r Premisa 3. ~s Premisa
1,2 Ley
4. - - - - 4. - - - - 1,2 Ley Transitiva
Transitiva
3,4 Modus
5. - - - - 5. - - - - 3,4 Modus Tollens
Tollens
13. 1. (p q) r Premise 14. 1. ~(p q) s Premisa
2. ~r Premisa 2. ~s Premisa
1,2 Silogismo 1,2 Silogismo
3. - - - - 3. - - - -
Disyuntiva Disyuntiva

15. 1. p (r q) Premisa 16. 1. (p q) r Premisa

2. ~r Premisa 2. ~r Premisa
3. - - - - 2, Adición de ~q 3. - - - - 1,2 Modus Tollens
4. - - - - 3, De Morgan 4. - - - - 3, De Morgan
1,4 Modus
5. - - - - 5. - - - - Simplificación
Tollens

17. 1. (p q) r Premisa 18. 1. p r Premisa

2. q Premisa 2. p Premisa
3. p Premisa 3. s Premisa
4. - - - - 3,2 Regla C 4. - - - - 1,2 Modus Ponens
1,4 Modus
5. - - - - 5. - - - - 3,4 Regla C
Ponens

1. [(~p q)
19. 1. ~(~p q) p ~q ---- 20. ----
~q] p

1. (s t) (q
21. 1. p ~(q r) 22. Premisa
~r)
2. q r Premisa 2. (s t) Premisa
3. ~p ---- 3. q ~r ----

23. 1. ~p (r s) 24. 1. ~p q Premisa

2. p (r s) 2. ~p ~q ----

1. (~p ~q)
25. 1. ~[p ~(q r)] Premisa 26. Premisa
p
2. ~(~p ~q)
2. ~[~p ~(q r)] ---- ----
p
3. p (q r) ---- 3. (p q) p - - - -

27. 1.(p q) (r s) Premisa 28. 1. (p q) ~r Premisa

2. p Premisa 2. ~p ~q Premisa
3. p q ---- 3. ~(p q) ----
 4. r s ---- 4. ~r ----
5. r ---- 5. ~r s ----

1. (p q) (r
29. 1. p ~q Premisa 30. Premisa
~s)
2. ~q ~r Premisa 2. ~r s Premisa
3. (r ~p) t Premisa 3. ~(r ~s) ----
4. p ~r ---- 4. ~(p q) ----
5. r ~p ---- 5. ~p ~q ----
6. t ---- 6. ~p ----

31. 1. p ~p Premisa 32. 1. ~p Premisa

2. p ---- 2. p Premisa
3. ~p ---- 3. ~p ~p ----
4. ~p q ---- 4. p ~p ----
5. p q ---- 5. p p ----
6. q ---- 6. ~p p ----

33. 1. p ~(~p) ---- 34. 1. ~p p Premisa

2. p p ---- 2. t Premisa
3. ~p p ---- 3. t ~p ----
4. (~p p) ~q ---- 4. ~p t ----
5. (~p p)
5. ~p (p ~q) ---- ----
(~p t)
6. ~p (~q p) ---- 6. ~p (p t) ----
7. p (~q p) ----
8. p (q p) ----

II. Convertir en lenguaje simbólico y generar la conclusión.

Convierte cada una de las siguientes en una prueba simbólica, y escribe la justificación para cada
paso.

35. Para llevar mi paraguas es necesario que llueva. Cuando llueve siempre llevo mi
sombrero. Hoy no llevo mi sombrero. Por lo tanto, no puede estar lloviendo, y así no llevo
mi paraguas.

36. Para llevar mi paraguas es suficiente que llueva. Para mí llevar mi sombrero es necesario
que llueva. Hoy llevo mi sombrero. Por lo tanto, debe estar lloviendo y así debo haber
tomado mi paraguas.

37. No puedes ser feliz y rico alabes. Por lo tanto, no estas feliz, o no estas rico. Ahora
pareces feliz. Por lo tanto, no puedes ser rico.
 38. Si fuera inteligente o guapo, sería feliz y rico. Pero no soy rico. Por lo tanto, es verdad
que no soy feliz o no soy rico. En otras palabras, no soy feliz y ni rico. Por lo tanto, no soy
inteligente o guapo; En otras palabras, no soy inteligente y ni guapo. En particular, no soy
inteligente.

39. Si la tasa de interés cae, entonces la bolsa de valores se subirá. Si la tasa de interés no
cae, entonces construcción de viviendas y los gastos de consumo caerán. Ahora, los gasto de
consumo no está disminuyendo. Por lo tanto, es verdad que construcción de vivienda no está
cayendo o los gastos de consumo no están disminuyendo; es decir, es falso que construcción
de viviendas y también los gasto de consumo están disminuyendo. Esto significa que la tasa
de interés está cayendo, por lo tanto, la bolsa de valores subirá.

40. Si cae la tasa de interés o el mercado de bonos, entonces la bolsa de valores subirá. Si no
cae la tasa de interés, entonces construcción de viviendas caerá. Las construcción de
viviendas están aumentando, por lo que la tasa de interés debe de estar cayendo. Por lo tanto,
es verdad que la tasa de interés o el mercado de bono está cayendo, y así subirá la bolsa de
valores.

III. Ejercicios de comunicación y razonamiento

41. Completa la siguiente oración. La regla de Modus Tollens de inferencia dice, si ambos y
aparece en una lista de preposiciones conocidas verdaderas, entonces podemos agregar .

42. Completa la siguiente oración. La regla de Modus Ponens de inferencia dice, si ambos y
aparece en una lista de preposiciones conocidas verdaderas, entonces podemos agregar .

43. Modifica el ejemplo 5 para producir una prueba que utiliza cada tipo de regla de inferencia que
hemos discutido. (Intente remplazar q por b y refiriéndose al ejemplo 4.)

44. Explica por qué lo siguiente no es un candidato razonable para una nueva regla de inferencia:

A B