Ejercicio 4: Problemas de aplicación

b. Expresión simbólica:

[(𝑝∨𝑞)∧(𝑞⟶∼𝑟)∧(∼𝑟⟶𝑠)∧ (∼𝑝)∧ (𝑠⟶𝑟)]⟶(𝑟)

Premisas:
P1: 𝑝∨𝑞
P2: 𝑞⟶∼𝑟
P3: ¬𝑟→𝑠
P4: ∼𝑝
P5: 𝑠⟶𝑟

Conclusión: 𝑟


Definir las proposiciones simples, tendrá la libertad de definirla bajo una
descripción basada en un contexto, el que se solicita es un contexto académico.

p: sale de clase a las 10 pm

q: sale de clase a las 11 pm
r: tomar Transmilenio
s: piensa en otras opciones

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural. Las proposiciones simples deben ser de autoría de cada estudiante, por
lo que de encontrar proposiciones iguales entre estudiantes se considerara
como copia y se tomaran las medidas correctivas estipuladas por la UNAD.

Maria sale de clase a las 10 pm o sale de clase a las 11 pm. Si Maria sale de
clase a las 11 pm, entonces no toma Transmilenio. Si Maria no toma
Transmilenio entonces piensa en otras opciones. Luego, Maria no sale de clase a
las 10 pm. Maria piensa en otras opciones entonces toma transmilenio. Por lo
tanto, Maria toma transmilenio.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos
educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así
como el link de acceso al recurso)
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

P Q R S 𝑝∨𝑞 ∼𝑝 ¬𝑟 𝑞⟶∼𝑟 ¬𝑟→𝑠 𝑠⟶𝑟 (𝑝∨𝑞) (𝑝∨𝑞) (𝑝∨𝑞) [(𝑝∨𝑞) [(𝑝∨𝑞)

∧ ∧ ∧ ∧ ∧
(𝑞⟶∼𝑟) (𝑞⟶∼𝑟) (𝑞⟶∼𝑟) (𝑞⟶∼𝑟) (𝑞⟶∼𝑟)
∧ ∧ ∧ ∧
(∼𝑟⟶𝑠) (∼𝑟⟶𝑠) (∼𝑟⟶𝑠) (∼𝑟⟶𝑠)
∧ ∧ ∧
(∼𝑝) (∼𝑝) (∼𝑝)
∧ ∧
(𝑠⟶𝑟)] (𝑠⟶𝑟)]
⟶
(𝑟)
V V V V v F F F V V F F F F F
V V V F V F F F V V f F F F F
V V F V V F V V V F V V F F F
V V F F V F V V F V V F F F F
V F V V V F F V V V V V F F F
V F V F V F F V V V V V F F F
V F F V V F V V V F V V F F F
V F F F V F V V F V V F F F F
F V V V V V F F V V F F F F F
F V V F V V F F V V F F F F F
F V F V V V V V V F V V V F F
F V F F V V V V F V V F F F F
F F V V F V F V V V F F F F F
F F V F F V F V V V F F F F F
F F F V F V V V V F F F F F F
F f F f F V V V F V F F F F F

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

lógica