Ejercicio 3: Unidad 3 –

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

Premisas:

P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ¬(𝑞 ∧ 𝑟)
P3: 𝑝 → 𝑠

Conclusión: 𝑠

Desarrollo:

Proposiciones Simples:

P: Estudio Ingeniería Ambiental

q: Participo en las prácticas de campo

r: Asisto a los laboratorios

s: Me graduaré pronto.

 Razonamiento en lenguaje natural:

Estudio Ingeniería Ambiental O participo en las prácticas de campo y

asisto a los laboratorios. Si No participo en las prácticas de campo o No
asisto a los laboratorios. Si estudio Ingeniería Ambiental entonces me
graduaré pronto. Por lo tanto, me graduaré pronto.

 Tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico
 Tabla de verdad manualmente a partir del lenguaje simbólico (En
Word).
 Resultado de la tabla de verdad: TAUTOLOGÍA
 Leyes de la inferencia lógica:
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)

P2: ¬(𝑞 ∧ 𝑟)

P3: 𝑝 → 𝑠

Conclusión: s

P4: s Contraria (3)