• Author / Uploaded
• Liz Ramirez

Citation preview

Ejercicio 4: Problemas de aplicación

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

Premisas: P1:(𝑝 → 𝑞) P2: (𝑝 ∨ 𝑟) P3:(¬ 𝑟 ∧ ¬𝑞) Conclusión: 𝑞

Proposiciones simples. p: Nidia pertenece al programa Generación E. q: Nidia esta matriculada en la UNAD. r: Nidia estudia Licenciatura en Pedagogía Infantil.

Lenguaje natural. Si Nidia pertenece al programa Generación E entonces Nidia esta matriculada en la UNAD. Nidia pertenece al programa Generación E o Nidia estudia Licenciatura en Pedagogía Infantil. Nidia no estudia Licenciatura en pedagogía Infantil y no esta matriculada en la UNAD. Por lo tanto, Nidia esta matriculada en la UNAD.

tabla de verdad manual. p

q

r

¬q

¬r

p→ q

p∨r

¬𝑟∧ ¬𝑞)

(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟)

(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)

[(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)] → 𝑞

V V V V F F F F

V V F F V V F F

V F V F V F V F

F F V V F F V V

F V F V F V F V

V V F F V V V V

V V V V V F V F

F F F V F F F V

V V F F V F V F

F F F F F F F F

V V V V V V V V

tabla de verdad a través del simulador Lógica UNAD.

➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica P1:(𝑝 → 𝑞) P2: (𝑝 ∨ 𝑟) P3:(¬ 𝑟 ∧ ¬𝑞) P4: ¬ 𝑟…………Simplificación a P3. P5: p……………Modos Tollendo Ponens a P2 y P4. P6: q……………Modos Ponendo Ponens a P1 y P5.