Ejercicio 3: Problemas de aplicación

C. (𝑟 ∨ ¬𝑞) → ¬𝑝

- Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción

basada en un contexto, el que se solicita es un contexto académico.

p: Daniela ganara el examen de matemáticas.

q: Daniela estudia los temas dados.

r: Daniela estudia para el examen de matemáticas los temas dados.

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

(𝑟 ∨ ¬𝑞) → ¬𝑝

Si Daniela estudia para el examen de matemáticas los temas dados o no estudia los temas

dados, entonces no ganara el examen de matemáticas.

- Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.

(𝑟 ∨ ¬𝑞) → ¬𝑝
 - Generar una tabla de verdad manualmente a partir del lenguaje simbólico. Definir si el

argumento seleccionado inicialmente es una tautología, contradicción o contingencia.

(𝑟 ∨ ¬𝑞) → ¬𝑝

p Q r ¬p ¬q (𝑟 ∨ ¬𝑞) (𝑟 ∨ ¬𝑞) → ¬𝑝

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

Contingencia.