Ejercicio 1: Proposiciones y tablas de verdad

 Proposiciones simples

C. p: Sofía se inscribió a la UNAD

q: Sofía estudia música

r: A Sofía el gusta el aprendizaje autónomo

 Lenguaje Simbólico

(𝑝 ∧ 𝑞) ↔𝑟

 Lenguaje Natural:

“Sofía se inscribió a la UNAD y si estudia música, entonces Sofía le gusta el aprendizaje autónomo”

 Tabla De Verdad Manual:

p q r (𝑝 ∧𝑞) (𝑝 ∧𝑞)↔𝑟
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V

 Se clasifica como: Indeterminada

 Tabla de verdad en el simulador UNAD:

 Enlace del video: https://youtu.be/bgTJRarH5X4

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

A. Expresión simbólica

¬ s →r p r¬s
r→t ¬q s
¬ s→t p¬q r

Ley de inferencia: Ley de Silogismo hipotético (SH)

Definir proposiciones simples:
¬ p →¬ q P: si hago tareas en el curso
¬ q →r q: voy a tener buenas notas
¬ p→ r r: voy a perder el curso de pensamiento lógico matemático.
Lenguaje natural:
si no hago tareas en el curso, entonces, no voy a tener buenas notas. No voy a
tener buenas notas, entonces, voy a perder el curso de pensamiento lógico
matemático. Si no hago tareas en el curso, entonces, voy a perder el curso de
pensamiento lógico matemático.

Ley de inferencia: ley de Adjunción (A)

Definir proposiciones simples:
p P: Yuliana estudia en la universidad la UNAD
q q: Yuliana estudia en el programa de economía
pq lenguaje natural:
Yuliana estudia en la universidad la UNAD, Yuliana estudia en el programa de
economía. Yuliana estudia en la universidad la UNAD entonces Yuliana estudia
en el programa de economía.
Ley de inferencia: Modus tollendo tollens (TT)
Definir proposiciones:
p→q p: Yuliana estudia en la universidad la UNAD
¬q q: Yuliana estudia en el programa de economía
¬p
lenguaje natural:
Yuliana estudia en la universidad la UNAD, entonces Yuliana estudia en el
programa de economía. Yuliana no estudia en el programa de economía, por
lo tanto, Yuliana no estudia en la universidad la UNAD.