TALLER LÓGICA – MATEMÁTICAS

1. Escriba la proposición compuesta propuesta en lenguaje natural.

A.

p: El COVID19 se identificó por primera vez en diciembre de 2019 en la ciudad de Wuhan

q: El 11 de marzo el director general de la OMS Tedros Adhanom hace la declaratoria de pandemia para el COVID19

r: El COVID19 logró afectar las grandes economías del mundo

(𝒑 ∧ 𝒓) ∨ (𝐪 ↔ 𝐫)

(𝒑 ∧ 𝒓) : El COVID19 se identificó por primera vez en diciembre de 2019 en la ciudad de Wuhan y El COVID19 logró afectar las grandes economías
del mundo

(𝐪 ↔ 𝐫): si y solo si El 11 de marzo el director general de la OMS Tedros Adhanom hace la declaratoria de pandemia para el COVID19 entonces El
COVID19 logró afectar las grandes economías del mundo

(𝒑 ∧ 𝒓) ∨ (𝐪 ↔ 𝐫)

El COVID19 se identificó por primera vez en diciembre de 2019 en la ciudad de Wuhan y El COVID19 logró afectar las grandes economías del
mundo o si y solo si El 11 de marzo el director general de la OMS Tedros Adhanom hace la declaratoria de pandemia para el COVID19 entonces El
COVID19 logró afectar las grandes economías del mundo

p q r (p∧r)∨(q↔r)

v v v V
 2. 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.

A partir de la tabla de verdad el resultado es “contingencia” debido a la variedad en sus afirmaciones como se puede observar; V, F, V, V, V, F…

P q
V V
V V
V F
V F
F V
F V
F F
F F
r (𝒑 ∧ 𝒓) ∨ (𝐪 ↔ 𝐫)
V VVV V VVV
F VFF F VFF
V VVV V FFV
F VFF V FVF
V FFV F VFV
F FFF F VFF
V FFV F FFV
F FFF V FVF

3. Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del simulador lo podrá encontrar en el 5 anexo 2
(Simulador Lógica UNAD), ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 1-
Tarea 1 - Métodos para probar la validez de argumentos.
 4. Video.

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

Expresión simbólica

Ley de inferencia de la expresión: Modus Ponendo Ponens (pp)

Proposiciones simples:

a: Carlos estudia en la UNAD

b: La UNAD es una Universidad Pública

Lenguaje Natural:

Si Carlos estudia en la UNAD entonces la UNAD no es una universidad Pública. Carlos estudia en la UNAD. Por lo tanto, la UNAD no es una
universidad Pública.

Expresión simbólica
Ley de inferencia de la expresión: Modus Ponendo Ponens (pp)

Proposiciones simples:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

Lenguaje Natural:

Si Carlos no estudia en la UNAD entonces la UNAD no es una universidad Pública. Carlos estudia en la UNAD. Por lo tanto, la UNAD es una
universidad Pública.

Expresión simbólica

Ley de inferencia de la expresión: Dilema Constructivo

Proposiciones simples:
p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

r: Carlos es becado

S: Carlos es buen estudiante

Lenguaje Natural:

Carlos estudia en la UNAD o la UNAD es una universidad Pública. Carlos estudia en la UNAD entonces Carlos es becado, la UNAD es una
universidad pública entonces Carlos es buen estudiante. Por lo tanto, Carlos es becado o Carlos es buen estudiante.

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

La UNAD tiene el programa de Ingeniería Industrial o la UNAD tiene el programa de medicina. La UNAD no tiene el programa de medicina.

a. Conclusión: La UNAD tiene el programa de Ingeniería Industrial

b. Ley de inferencia aplicada: Modus Tollendo Ponens

c. Lenguaje simbólico:

pvq

¬p

:q
Ejercicio 4: Problemas de aplicación

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

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

Conclusión: 𝑞 ∧ 𝑟

Proposiciones simples:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública
r: Carlos es becado

Lenguaje natural
Si Carlos estudia en la UNAD entonces Carlos es becado. No es cierto que Carlos es becado o que La UNAD es una Universidad Pública.
Carlos estudia en la UNAD y Carlos es becado. Por lo tanto, Carlos estudia en la UNAD y Carlos es becado.

Tabla de verdad

p r q (p→r (~r ((~r)vq (((p→r))^(((~r)vq)) (p^r ((((p→r))^(((~r)vq)))^((p^r)) (q^r ((((((p→r))^(((~r)vq)))^((p^r))))→((q^r))

) ) ) ) ) ) ) )
F F F V V V V F F F V

F F V V V V V F F F V

F V F V F F F F F F V

F V V V F V V F F V V

V F F F V V F F F F V

V F V F V V F F F F V

V V F V F F F V F F V

V V V V F V V V V V V
Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: 𝑝 → 𝑟
P2: ¬𝑟 ∨ 𝑞
P3: 𝑝 ∧ 𝑟
P4:
P5: 𝑞 ∧ 𝑟………………..