Ejercicio 4: Problemas de aplicación

Expresión simbólica: [(𝒑 ∨ 𝒒) ∧ (¬𝒒) ∧ (𝒑 → 𝒓) ∧ (𝒒 → 𝒓)] → (𝒑 ∧ 𝒓)

Premisas:

P1: 𝒑 ∨ 𝒒

P2: ¬𝒒

P3:𝒑 → 𝒓

P4: 𝒒 → 𝒓

Conclusión: 𝒑 ∧ r

➢ Proposiciones simples:

p: carolina es profesora de lógica matemática

q: julia es profesora de cátedra unadista

r: pertenece a los tutores de la UNAD.

➢ Lenguaje Natural: carolina es profesora de lógica matemática o julia es profesora de

cátedra unadista y julia no es profesora de cátedra unadista y carolina es profesora de lógica
matemática entonces pertenece a los tutores de la UNAD y julia es profesora de cátedra
unadista si, pertenece a los tutores de la UNAD por lo tanto carolina es profesora de lógica
matemática y pertenece a los tutores de la UNAD.

➢ Tabla de verdad manual

SE CLASIFICA COMO UNA TAUTOLOGIA

p q r ¬q (pvq (p (q (p ∧ [(𝒑 ∨ 𝒒) ∧ (𝒑 → 𝒓) ∧ (𝒒 → : [(𝒑 ∨ 𝒒) ∧ (¬𝒒) ∧ (𝒑

) →r¿ →r¿ 𝒓) (¬𝒒) 𝒓)] 𝒓) ∧ (𝒒 → 𝒓)] → (𝒑 ∧

V V V F V V V v F V V
V V F F V F F F F F V
V F V V V V V V V V V
V F F V V V F F V F V
F V V F V V V F F V V
F V F F V V V F F V V
F F V V F V V F F V V
F F F V F V V F F V V

Tabla simulador UNAD.

➢ Demostración de la validez Del argumento mediante las Leyes de Inferencia:

Premisas:

P1: 𝒑 ∨ 𝒒
P2: ¬𝒒

P3:𝒑 → 𝒓

P4: 𝒒 → 𝒓

Conclusión: 𝒑 ∧ r

P5: p tollendo ponens entre p1 y p2

P6: r modus ponendo ponens entre p3 y p5

Conclusión: p ∧ r adjunción entre p5 y p6