Ejercicio 3: Problemas de aplicación

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 3:
a. Expresión simbólica: [(𝒑∧�) ∧ (𝒑 → �)] ⟶ (�∧�)
Premisas:
P1: 𝒑∧�
P2:𝒑 → �
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
Rta: Proposiciones simples:
p: Alejandro es bueno en lógica
q: la lógica es un módulo para razonar
r:Maritza razona bien
 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.

[(𝒑∧�) ∧ (𝒑 → �)] ⟶ (�∧�)

Alejandro es bueno en lógica y la lógica es un módulo para razonar, y si Alejandro es
bueno en lógica implica que Maritza razona bien; entonces, Maritza razona bien y la lógica
es un módulo para razonar.
 Generar una tabla de verdad con el simulador TruthTable a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador TRUTH, en
el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso).

[(𝒑∧�) ∧ (𝒑 → �)] ⟶
p q r (�∧�)

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
[(𝒑∧�) ∧ (𝒑 → �)]
p q r (𝒑∧�) q∧r (𝒑 → �)] [(𝒑∧�) ∧ (𝒑 → �)] ⟶ (�∧�)
V V V V V V V V V V
V V F V F F F F V F
V F V F F V F F V F
V F F F F F F F V F
F V V F V V F F V V
F V F F F V F F V F
F F V F F V F F V F
F F F F F V F F V F

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

P1: 𝒑∧�
P2:𝒑 → �
P3: ∼ 𝒑 → Equivalente del condicional (2)
P4: 𝒑 v � → Simplificación en la conjunción (1)
P5: � → Modus tollendoponens (3) y (4)
P6: � → Simplificación en la conjunción (1)
P7: �∧�→ Adjunción o Unión (5) y (6)