TRABAJO DE PENSAMIENTO LÓGICO MATEMÁTICO

Voy a desarrollar los ejercicios B

Ejercicio 1: Proposiciones y tablas de la verdad.

 p: La casa de papel es la mejor serie de Netflix.

 q: Stranger Things es una serie de Netflix.
 r: La casa de papel es una de las series más vistas del mundo.

(𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)

Lenguaje natural: La casa de papel y Stranger Things son series de netflix pero no ambas son las
mejores. Entonces Stranger Things no es una serie de netflix y la casa de papel es una de las series
más vistas del mundo.

Tabla manual

𝑝 𝑞 𝑟 ∼𝑞 𝑝∨𝑞 ∼𝑞∧𝑟 (𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)

V V
V V
V F
V F
F V
F V
F F
F F
V F V F F
F F V F F
V V V V V
F V V F F
V F V F F
F F V F F
V V F V V
F V F F V

La tabla se clasifica cómo Contingencia.

Tabla de verdad en el simulador Lógica UNAD.

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

Expresión simbólica:

Proposiciones simples

p: Karen ya aprobó el curso de pensamiento lógico y matemático.

q: Volverá a ver el curso de pensamiento lógico y matemático.

Ley de la inferencia de la expresión

LEY DE SIMPLIFICACIÓN

Lenguaje natural

Si Karen ya aprobó el curso de pensamiento lógico y matemático entonces No volverá a ver el

curso de pensamiento lógico y matemático. Por lo tanto Karen ya aprobó el curso de pensamiento
lógico y matemático.
Proposiciones simples

S: Karen tiene que ir a la universidad

t: Ella estudia en una universidad presencial

Ley de inferencia de expresión

MODUS TOLLENDO TOLLENS (MTT)

Lenguaje natural

Si Karen tiene que ir a la universidad Entonces ella estudia en una universidad presencial, ella No
estudia en una universidad presencial. Por lo tanto no tiene que ir a la universidad.

Expresión simbólica

Proposiciones simples

r: Karen repasa sus apuntes en la universidad

s: Ella estudia desde su laptop

Ley de inferencia de la expresión

MODUS TOLLENDO TOLLENS (MTT)

Lenguaje natural

Si Karen no repasa sus apuntes en la universidad Entonces ella estudia desde su laptop, Karen no
repasa sus apuntes en la universidad. Por lo tanto ella estudia desde su laptop.
 Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Argumento: 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.

Lenguaje simbólico:

Ley de inferencia aplicada: Modus Tollendo Tollens (MTT)

Conclusión: Un Administrador de empresa no lidera organizaciones que contribuyen a la

construcción de un país.

Ejercicio 4: Problemas de aplicación

Expresión simbólica: {(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞)} ⟶ (𝑞 ∧ 𝑟)

Premisas:

P1: (𝑝 ⟶ 𝑟)

P2: (𝑞 ⟶ 𝑝)

P3: (𝑝 ∧ 𝑞)

Conclusión: (𝑞 ∧ 𝑟)

Proposiciones simples

p: Karen entró temprano a la clase

q: en la clase se bonifica al estudiante que llega antes de hora

r: ella tiene tiempo de sobra.

Lenguaje Natural

Si Karen entró temprano a la clase entonces ella tiene tiempo de sobra y en la clase se bonifica al
estudiante que llega antes de hora entonces Karen entró temprano a la clase y Karen entró
temprano a la clase y en la clase se bonifica al estudiante que llega antes de hora entonces en la
clase se bonifica al estudiante que llega antes de hora y ella tiene tiempo de sobra.

p q r 𝑝⟶𝑟 𝑞⟶𝑝 (𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) 𝑝∧𝑞 (𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞) 𝑞∧𝑟 {(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞)}

 ⟶ (𝑞 ∧ 𝑟)

V V V V V V V V V V
V V F F V F V F F V
V F V V V V F F F V
V F F F V F F F F V
F V V V F F F F V V
F V F V F F F F F V
F F V V V V F F F V
F F F V V V F F F V
La tabla se clasifica cómo Tautología.

Demostración de validez del argumento mediante las leyes de inferencia.

P1: (𝑝 ⟶ 𝑟)

P2: (𝑞 ⟶ 𝑝)

P3: (𝑝 ∧ 𝑞)

P4: CONCLUSIÓN: (𝑞 ∧ 𝑟)

P5: q ley de simplificación P3

P6: r modus ponendo ponens (MPP) P1

P7: q ∧ r ley de conjunción P5 y P6