EJERCICIO 3: PROBLEMAS DE APLICACIÓN

A
 Expresión simbólica: [(p→ ¬q) ^ (q ν ¬ r) ^ r] → ¬ p

Premisas:
P1: p→ ¬q
P2: q ν ¬ r
P3: r
CONCLUSION: ¬p

 Proposiciones simples:
p: Participo en clases de química
q: Participo en clases de ingles
r: Participo en clases de matemáticas

 Razonamiento lenguajes natural:

Si participo en clases de química entonces no participo en clases de inglés.
Si participo en clases de inglés o no participo en clases de matemáticas y si
participo en clases de matemáticas por lo tanto no participo en clases de
química.
  Tabla de verdad manualmente

p q r ¬p ¬q ¬r (p→¬q) (qν¬r) (p→¬q) ^(qν¬r) [(p→¬q) ^(qν¬r) ^r] [(p→¬q) ^(qν¬r) ^r] →¬p

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

RESULTADO: TAUTOLOGIA

 Tabla de verdad con el simulador lógica UNAD

Premisas:
P1: p→ ¬q
P2: q ν ¬ r
P3: r
CONCLUSION: ¬p

P4; q TP P3,P4
P5: ¬p PP P4 P1

El Argumento es valido