Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio: E continuación, encontrará las proposiciones simples para el

desarrollo del ejercicio 1:

 Letra E.

. p: El pensamiento Lógico Matemático está relacionado con la capacidad de

emplear el razonamiento lógico.
q: La lógica es clave para el desarrollo de las habilidades matemáticas
r: Los seres humanos tenemos capacidad de desarrollar diversos tipos de
habilidades

(𝑝 ∧ 𝑞) → (𝑝 ∧ 𝑟)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Escriba la proposición compuesta propuesta en lenguaje natural.

Lenguaje natural: La casa de papel es la mejor serie de Netflix o Stranger Things es

una serie de Netflix, entonces Stranger Things no es una serie de Netflix y la casa de
papel es una de las series más vistas del mundo.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o
contradicción.

(𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)
p q r ¬q pVq ∼q ∧ r (𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)
v v v f v f f
v v f f v f f
v f v v v v v
v f f v v f f
f v v f v f f
f v f f v f f
f f v v f v v
 f f f v f f v
Contingencia

 Generar la tabla de verdad a través del simulador Lógica UNAD.

Ejercicio 2: Identificación de las reglas de la inferencia lógica.

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas
leyes de inferencia.
 Nombrar la ley de inferencia que representa cada expresión simbólica
p∧∼q s→t ∼r→s

∼t ∼r

p ∼s s

Simplificación (S) Modus Tollendo Tollens (TT) Modus Ponendo Ponens (PP)

 Definir las proposiciones simples

 p: Kimberly estudia sola en la biblioteca
q: Le gusta estudiar en compañía
r: Ella sale con sus amigos a pasear
s: Kimberly logra concentrarse
t: Aprueba todas sus materias

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.

Simplificación: Kimberly estudia sola en la biblioteca y no le gusta estudiar en

compañía. Por lo tanto, Kimberly estudia sola en la biblioteca.

Modus Tollendo Tollens (TT): Si Kimberly logra concentrarse entonces aprueba

todas sus materias. No aprueba todas sus materias, por lo tanto, Kimberly no logra
concentrarse.

Modus Ponendo Ponens (PP): Si ella no sale con sus amigos a pasear entonces
Kimberly logra concentrarse. Ella no sale con sus amigos a pasear; por lo tanto,
Kimberly logra concentarse.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

B. Si un administrador de empresas liderara organizaciones que contribuyen a la
construcción del progreso económico, entonces un administrador de empresas ayuda
a la economía de un país. Un administrador de empresas no ayuda en la economía
de un país.

a. Lenguaje simbólico: (1) p → q

(2) ∼q
∼p
b. Ley de inferencia aplicada: Modus Tollendo Tollens
c. Conclusión: ∼p

Ejercicio 4: Problemas de Aplicación

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: (𝑞 ∧ 𝑟)

 Definir las proposiciones simples

p: Kimberly es disciplinada en su carrera

q: Cumple con sus deberes académicos
r: Acabará con éxito su profesión

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural

Lenguaje natural: Si Kimberly es disciplinada en su carrera entonces acabará con

éxito su profesión. Si cumple con sus deberes académicos entonces Kimberly es
disciplinada en su carrera. Kimberly es disciplinada en su carrera y cumple con sus
deberes académicos, por lo tanto, cumple sus deberes académicos y acabará con
éxito su profesión.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

{(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞)} ⟶ (𝑞 ∧ 𝑟)
(𝑝 ⟶ (𝑞 ⟶ (𝑝 ∧ (𝑞 ∧ (𝑝 ⟶ 𝑟) ∧ (𝑞 {(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ {(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧
p q r
𝑟) 𝑝) 𝑞) 𝑟) ⟶ 𝑝) (𝑝 ∧ 𝑞)} 𝑞)} ⟶ (𝑞 ∧ 𝑟)
v v v v v v v v v v
v v f f v v f f f v
v f v v v f f v f v
v f f f v f f f f v
f v v v f f v f f v
f v f v f f f f f v
f f v v v f f v f v
f f f v v f f v f v
Tautología
 Generar la tabla de verdad a través del simulador Lógica UNAD

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

lógica

Validez del argumento

(1): 𝑝 ⟶ 𝑟
(2): 𝑞 ⟶ 𝑝
(3): 𝑝 ∧ 𝑞
(𝑞 ∧ 𝑟) Conclusión

(4) q Simplificación en 3
(5) p Modus Ponendo Ponens en 2 y 4
(6) r Modus Ponendo Ponens en 1 y 5
(7) q ∧ r Adjunción en 4 y 6