Ejercicio 4: Problemas de aplicación

C. Expresión simbólica: [(𝑝→¬𝑟)∧(𝑞→𝑝)∧(𝑟∧𝑞)]→(𝑟∨𝑞)

Premisas

P1: 𝑝→¬𝑟

P2: 𝑞→𝑝

P3: 𝑟∧𝑞

Conclusión: 𝑟∨𝑞

Proposiciones Simples:

p: participo en las web conferencias

q: Utilizo el correo interno

r: Conozco cada tutor

Razonamiento en lenguaje natural:

Si participo en la web conferencia entonces, No conozco cada tutor. Utilizo el correo interno.
Entonces participo en la web conferencia. Conozco cada tutor y utilizo el correo interno. Por lo
tanto tenemos, conozco cada tutor o utilizo el correo interno.

Tabla de verdad manual.

p r q ~r p→~r q→p r˄q r˅q [(p→~r)^(q→p)^(r^q)]→(r˅q)

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

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

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

V V F F F V F V V
V V V F F V V V V
Resultado de la tabla de verdad: TAUTOLOGÍA

Tabla de verdad con el simulador Lógica UNAD

Ley de inferencia: Modus Tollendo Tollens MTT