Ejercicio 2: Métodos para probar la validez de un argumento

A. Expresión simbólica:
[ ( p → s ) ∧ ( q → r ) ∧ ( p ∧ q ) ]⟶( s ∧r )

Premisas:
P1: p → s
P2: q → r
P3: p ∧q

Conclusión: s ∧r

 Definir las proposiciones simples

P: la estudiante Tatiana es muy eficiente

S: Tatiana es buena compañera con los demás

q: Tatiana ha trabajado mucho

r: ella es responsable con sus trabajos

[ ( p → s ) ∧ ( q → r ) ∧ ( p ∧ q ) ]⟶( s ∧r )

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

Si la estudiante Tatiana es muy eficiente entonces ella ha trabajado mucho. Es responsable con
sus trabajos y es buena compañera con los demás
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico

(P ᴧ [(P → S) ᴧ (q → r) ᴧ (P ᴧ q)]
p q r s P→S q→r S^r [(P → S) ᴧ (q → r) ᴧ (P ᴧ q)]
q) ⟶ (S ^ r)
V V V V V V V V V V
V V V F F V V F F V
V V F V V F V F F V
V V F F F F V F F V
V F V V V V F V F V
V F V F F V F F F V
V F F V V V F F F V
V F F F F V F F F V
F V V V V V V V V V
F V V F V V V F V V
F V F V V F V F F V
F V F F V F V F F V
F F V V V V V V V V
F F V F V V V F V V
F F F V V V V F V V
F F F F V V V F V V

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

  Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Se verifico mediante la tabla de verdad anterior que la preposición es una tautología, se

demostrara la validez del

argumento.

P1: P → S Conclusión: S ^ r

P2: q → r

P3: p → q

1. P → S
2. q → r
3. p → q

4. p simplificación 3 P→S
p

s
5. s modus ponens entre 1 y 4

6. q simplificación de la 3 q→r
q
r

7. r modus ponens entre 2 y 6

8. S ^ r conjunción entre 5 y 7 conclusión