Ejercicio 4: Problemas de aplicación

C:

EXPRESIÒN SIMBÒLICA: [(p → ¬q) ∧ (q ∨ ¬r) ∧ r] → ¬p

PREMISAS:

P1: p → ¬q

P2: q ∨ ¬r

P3: r

CONCLUSIÒN: ¬p

PROPOSICIONES SIMPLES:

p:Junior tiene una empresa

q:Junior tiene su propio contador publico

r:Junior le puede pagar a su contador publico

¬p: Junior no tiene una empresa

¬q: Junior no tiene su propio contador publico

¬r: Junior no le puede pagar a su contador publico

LENGUAJE NATURAL:

Si Junior tiene una empresa ENTONCES Junior no tiene su propio contador publico. Junior tiene su
propio contador publico o Junior no le puede pagar a su contador publico. Junior le puede pagar a
su contador publico.Por lo tanto, Junior no tiene una empresa.
TABLA DE VERDAD MANUAL:

[(p → ¬q) ∧ (q ∨ ¬r) ∧ r] → ¬p

Se clasifica como tautología

TABLA DE VERDAD SIMULADOR UNAD:

DEMOSTRACIÒN DE LA VALIDEZ DEL ARGUMENTO MEDIANTE LAS

LEYES DE INFERENCIA:

P1: p → ¬q

P2: q ∨ ¬r

P3: _r ___
∴ ¬𝑝

Aplicamos simplificación disyuntiva (SD)