Está en la página 1de 3

Tarea 2-Métodos para probar validez de argumentos

Ejercicio 4: Problemas de aplicación

Expresión simbólica:

[(𝑝 → 𝑠) ∧ (~𝑞 → ~𝑟) ∧ (𝑝 ∧ 𝑟)] → (𝑞 ∧ 𝑠)

Determinación de Premisas:
 P1: (𝑝 → 𝑠)
 P2:(~𝑞 → ~𝑟)
 P3: (𝑝 ∧ 𝑟)

Conclusión: (𝑞 ∧ 𝑠)

Desarrollo:

 Proposiciones simples:

 p: el profesor explica bien


 q: paso la evaluación
 r: estudio la materia
 s: entiendo bien el tema
 ∼q: no paso la evaluación
 ∼r: no estudio para la materia

 Razonamiento en lenguaje natural:

Si el profesor explica bien, entonces entiendo bien el tema y si no


paso la evaluación, entonces no estudio la materia y el profesor explica
bien y entiendo la materia, entonces paso la evaluación y entiendo
bien el tema

 Generar la tabla de verdad manualmente:

(p→s
(p→s)
) (∼q→∼r) (q ∧ (p→s)
p q r s ∼q ∼r (p ∧ r) ∧(∼q→∼r) (p→s) ∧(∼q→∼r)∧
s) ∧(∼q→∼r) (p ∧ r) → (q ∧ s)
∧(p ∧ r)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD


leyes de inferencia:

P1: (𝑝 → 𝑠)
P2:(~𝑞 → ~𝑟)
P3: (𝑝 ∧ 𝑟)

P4: p Simplificación en P3
P5: r Simplificación en P3
P6: s Modus Ponendo Ponens MMP en P1 y P4
P7: q Modus tollens en P2 y P5
P8: q ∧ s Adjunción en P6 y P7

También podría gustarte