Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4 letra C.
 Expresión simbólica
{(p ∧¬q) ∧ (r→ q) ∧ (r∨ ¬q)} → (p ∧ ¬r)
 Premisas:
P1: p ∧¬q
P2: r→ q
P3: r∨ ¬q
 Conclusión: p ∧ ¬r

 Proposiciones simples:
p: Mateo pertenece a la UDR Cubará
q: Mateo estudia Administración de Empresas
r: Mateo aprobó la asignatura de Cultura política

 Lenguaje natural
Si Mateo pertenece a la UDR Cubará y Mateo no estudia Administración de
Empresas. Mateo aprobó la asignatura de Cultura política entonces Mateo estudia
Administración de Empresas. Mateo aprobó la asignatura de Cultura política o
Mateo no estudia Administración de Empresas. Por lo tanto, Mateo pertenece a la
UDR Cubará y Mateo no aprobó la asignatura de Cultura política.

 Tabla manual
∧ ∨ ∧ ∧ ∧ ∧ ∧ ∨ ∧ ∧ ∧ ∧ ∨ ∧

p q r ¬q ¬r p ¬q r→ q r ¬q (p ¬q) (r→ q) {(p ¬q) (r→ q) (r ¬q)} p ¬r {(p ¬q) (r→ q) (r ¬q)} → (p ¬r)
V V V F F F V V F F F V
V V F F V F V F F F V V
V F V V F V F V F F F V
V F F V V V V V V V V V
F V V F F F V V F F F V
F V F F V F V F F F F V
F F V V F F F V F F F V
F F F V V F V V F F F V
 simulador

 Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: p ∧¬q
P2: r→ q
P3: r∨ ¬q
 Conclusión: p ∧ ¬r
P4: p simplificación en p1
P5: q ponendo ponens en p2
P6: r Tollendo ponens en p3
P7: ¬r Tollendo ponens en p5 y p6
P8: p ∧ ¬r adjunción en p4 y p7