Expresión simbólica: {(𝒑∧¬𝑞)∧(𝒓→𝑞)∧(𝒓∨¬𝑞)}→(𝒑∧¬𝒓)

Premisas:
P1: 𝒑∧¬𝑞
P2: 𝒓→𝑞
P3: 𝒓∨¬𝑞
Conclusión: 𝒑∧¬𝒓

Preposiciones simples
p: Milena estudia Diseño Gráfico

q: Milena está matriculada en el periodo 20-04

r: Milena estudia en la UNAD

Lenguaje natural:
Si Milena estudia Diseño Gráfico y Milena no está matriculada en el periodo 20-04. Milena estudia
en la UNAD entonces Milena está matriculada en el periodo 20-04. Milena estudia en la UNAD o
Milena no está matriculada en el periodo 20-04, entonces Milena estudia Diseño Gráfico y Milena
estudia en la UNAD.

Tabla Manual

p q r ¬ ¬ (𝒑∧ (𝒓→𝑞 (𝒑∧¬𝑞)∧ (𝒓∨¬𝑞 {(𝒑∧¬𝑞)∧(𝒓→𝑞) (𝒑∧¬𝒓) {(𝒑∧¬𝑞)∧(𝒓→𝑞)∧

𝑞 𝒓 ¬𝑞) ) (𝒓→𝑞) ) ∧( (𝒑∧¬𝒓)} (𝒓∨¬𝑞)}→(𝒑∧¬𝒓)

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

Tabla de verdad Simulador Lógica UNAD