Ejercicio 4_Unidad 2_ Deisy Becerra

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

Premisas:
P1: ¬𝒑 → 𝒒
P2: 𝒒 → ¬𝒓
P3: ¬𝒓 → 𝒔
P4: ¬𝒑
P5: ¬𝒔 ∨ 𝒓

Conclusión: 𝒓

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples

p: Tatiana es la mejor estudiante de zootecnia de la Unad
q: Tatiana gana una beca para realizar una maestría en el exterior
s: en un semestre gana diferentes menciones de honores
r: se postula en el primer lugar del curso de zootecnia

~p: Tatiana NO es la mejor estudiante de zootecnia de la Unad

~q: Tatiana no gana una beca para realizar una maestría en el exterior
~s: En un semestre no gana diferentes menciones de honores
~𝑟: No se postula en el primer lugar del curso de zootecnia
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural.
Si Tatiana NO es la mejor estudiante de zootecnia de la Unad, entonces Tatiana
gana una beca para realizar una maestría en el exterior. Y si Tatiana gana una beca
para realizar una maestría en el exterior, Entonces no se postula en el primer lugar
del curso de zootecnia. Y si no se postula en el primer lugar del curso de zootecnia,
entonces en un semestre gana diferentes menciones de honores. Y Tatiana no es la
mejor estudiante de zootecnia de la Unad. Y en un semestre no gana diferentes
menciones de honores o se postula en el primer lugar del curso de zootecnia, Por lo
tanto, se postula en el primer lugar del curso de zootecnia.

 Tabla de verdad manual

r ¬p ¬q ¬s ¬r (¬p→q) (q→¬r) (¬r→s) (¬s˅r) (¬p→q)˄(q→¬r) (¬p→q)˄(q→¬r)˄(¬r→s) (¬p→q)˄(q→¬r)˄(¬r→s)˄(¬p) (¬p→q)˄(q→¬r)˄(¬r→s)˄(¬p)˄(¬s˅r) (¬p→q)˄(q→¬r)˄(¬r→s)˄(¬p)˄(¬s˅r)→r
V F F F F V F V V F F F V V
F F F F V V V V F V F F F V
V F F V F V F V V F F F V V
F F F V V V V F V V V F V V
V F V F F V V V V V F F V V
F F V F V V V V F V F F F V
V F V V F V V V V V V F V V
F F V V V V V F V V V F V V
V V F F F V F V V F F F V V
F V F F V V V V F V F F F V
V V F V F V F V V F F F V V
F V F V V V V F V V V V V V
V V V F F F V V V F F F V V
F V V F V F V V F F F F F V
V V V V F F V V V F F F V V
F V V V V F V F V F F F V V
 Tabla de verdad con el simulador Truth Table

 Demostración de la validez del argumento mediante las leyes de inferencia

lógica.

[(¬p → q) ∧ (q → ¬r) ∧ (¬r → s) ∧ (¬p) ∧ (¬s ∨ r)] → r

1. ¬𝑝 → 𝑞
2. 𝑞 → ¬𝑟
3. ¬𝑟 → 𝑠
4. ¬𝑝
5. ¬𝑠 ∨ 𝑟

6. q PP en 1 y 4

7. ¬𝑟 PP en 2 y 6

8. s PP en 3 y 5

9. r PP en 8 y 7 _________Conclusión