Ejercicio 4: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el

Entorno de Conocimiento (Unidad 2), las siguientes referencias:
• Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría
de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)
• Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]
Una vez realizada la lectura, desarrolle la tarea propuesta.
Descripción del ejercicio:
A continuación, encontrará la expresión simbólica, las premisas y la conclusión
de un argumento para el desarrollo del ejercicio 4:

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

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

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

• 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, ejemplo:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública

p: Jorge está en grado quinto

q: Jorge estudia agronomía
r: Jorge estudia botánica
s: Jorge asiste a la universidad
• 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 considerará como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
[(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

Jorge está en grado quinto y no estudia agronomía. Jorge está en grado quinto entonces
no estudia botánica. Jorge estudia agronomía o no asiste a la universidad por tanto Jorge
no estudia botánica y no asiste a la universidad

• 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 ¬ ¬ ¬ 𝑝∧ 𝑝→ 𝑞∨ (𝑝∧¬𝑞) [(𝑝∧¬𝑞)∧(𝑝 ¬𝑟 [(𝑝∧¬𝑞) ∧

q r s ¬𝑞 ¬𝑟 ¬𝑠 ∧ →¬𝑟)∧(𝑞∨¬𝑠 ∧¬ (𝑝→¬𝑟)
(𝑝→¬ )] 𝑠
∧(𝑞∨¬𝑠)]
𝑟)
⟶(¬𝑟 ∧ ¬𝑠)
V V V V F F F F F V F F F V
V V V F F F V F F V F F F V
V V F V F V F F V V F F F V
V V F F F V V F V V F F V V
V F V V V F F V F F F F F V
V F V F V F V V F V F F F V
V F F V V V F V V F V F F V
V F F F V V V V V V V V V V
F V V V F F F F V V F F F V
 F V V F F F V F V V F F F V
F V F V F V F F V V F F F V
F V F F F V V F V V F F V V
F F V V V F F F V F F F F V
F F V F V F V F V V F F F V
F F F V V V F F V F F F F V
F F F F V V V F V V F F V V
• Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

[(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

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

P4: p 𝑝 ∧ ¬𝑞 simplificación p1
P

P5: -q 𝑝 ∧ ¬𝑞 simplificación p1
-q

P6: -r 𝑝 → ¬𝑟 modus ponendo ponens p2, p4

p
: -r

P7: -s 𝑞 ∨ ¬𝑠 modus ponendo tollens p3

-q
 : -s

P8: -r ∧ -s -r ley de la adjunción p6, p7

-s
-r ∧ -s

Conclusión: ¬𝑟 ∧ ¬𝑠
Condiciones de entrega:
• Nombre el archivo de su aporte de la siguiente manera: ejercicio 4 unidad
2_nombre del estudiante
• Presentar el desarrollo de los ítems en un documento en Word en el foro
de la tarea que se encuentra en el entorno de aprendizaje colaborativo
Nota
En el Anexo 2, se establece un ejemplo modelo a seguir para dar respuesta a
los ítems planteados.