Ejercicio 3: Problemas de Aplicación

 Expresión formal o simbólica (Dada en el planteamiento del ejercicio)

(𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

 Definición de las proposiciones simples:

p: Presento el examen de ciencias
q: Tengo buenas calificaciones
r: Apruebo el año escolar
s: Voy de vacaciones

 Lenguaje natural de la expresión formal

Si presento el examen de ciencias y tengo buenas calificaciones, entonces, apruebo
el año escolar y voy de vacaciones

 Tabla de verdad manualmente

(p∧ 𝑞) → (𝑟 ⋀ 𝑠)
p q r s pɅq rɅs (p∧ 𝑞) → (𝑟 ⋀ 𝑠)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
El resultado de la tabla de verdad: contingencia

 Tabla de verdad con el simulador lógica UNAD