Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

C.
p: Sofía se inscribió en la UNAD
q: Sofía estudia música
r: A Sofía le gusta el aprendizaje autónomo
( p ∧q) ⟷ r
 Escribir la proposición compuesta propuesta en un lenguaje natural
Si Sofía se inscribió en la UNAD y estudia música si y solo si a Sofía le gusta el aprendizaje
autónomo.

 Generar una tabla de verdad manualmente

p q r ( p ∧q) ( 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 contingencia

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

 Link del vídeo

Ejercicio 2: Identificación de las reglas de la inferencia lógica
Descripción del ejercicio:
C. Expresión simbólica
¬s→r
r →t
¬ s →t
 Ley de inferencia que representa cada expresión: Silogismo Hipotético (SH)
 Definir las proposiciones simples:
r: Karolays es estudiante unadista
t: Karolays estudia Comunicación Social
¬ s: No asiste a los Cipas o Bearling
 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
simbólico:
Si No asiste a los Cipas o Bearling entonces Karolays es estudiante Unadista.
Si Karolays es estudiante Unadista entonces estudia Comunicación Social.
Por lo tanto, No asiste a los Cipas o Bearling entonces estudia Comunicación Social

p
¬q
p ⋀ ¬q

 Ley de inferencia que representa cada expresión: conjunción

 Definir las proposiciones simples:
P: Karolays estudia Comunicación Social
¬ q: Karolays no es estudiante unadista
 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
simbólico:
Karolays estudia Comunicación Social.
Karolays no es estudiante unadista
Por lo tanto, Karolays estudia Comunicación Social y no es estudiante unadista

r ⋁¬s
s
r

 Ley de inferencia que representa cada expresión: Modus tollendo ponens (MTP)
 Definir las proposiciones simples:
r: Karolays estudia Comunicación Social
s: asiste a los Cipas o Bearling
 ¬ s: No asiste a los Cipas o Bearling
 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
simbólico:
Karolays estudia Comunicación Social o No asiste a los Cipas o Bearling.
Asiste a los Cipas o Bearling.
Por lo tanto, Karolays estudia Comunicación Social.

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

Descripción del ejercicio:
C. En el almuerzo de hoy comeré mojarra frita con arroz de coco o un mote de ñame con suero. En
el almuerzo de hoy no comeré un mote de ñame con suero.
Proposiciones simples:
P: En el almuerzo de hoy comeré mojarra frita con arroz de coco.
q: En el almuerzo de hoy comeré un mote de ñame con suero.
¬ q: En el almuerzo de hoy no comeré un mote de ñame con suero.

a. Lenguaje simbólico:
p⋁ q
¬q
p

b. Ley de inferencia aplicada: Modus tollendo ponens (MTP)

c. Conclusión: En el almuerzo de hoy comeré mojarra frita con arroz de coco.

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:
C. Expresión simbólica:

[( p →¬ q)∧(q ∨¬r )∧r ]→¬ p

Premisas:
P1: p →¬ q
P2: q ∨ ¬r
P3: r
Conclusión: ¬ p

 Definir las proposiciones simples

p: Karolays estudia Comunicación Social
¬ p : Karolays no estudia Comunicación Social
q : asiste a los CIPAS Y Bearling
 ¬ q: No asiste a los CIPAS Y Bearling
r: Cursa el noveno semestre
¬ r : No cursa el noveno semestre

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si Karolays estudia Comunicación Social entonces no asiste a los CIPAS Y Bearling.
Si asiste a los CIPAS Y Bearling o no cursa el noveno semestre. Cursa el noveno semestre.
Por lo tanto, Karolays no estudia Comunicación Social.

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

p q r ¬p ¬q ¬r p →¬ q q ∨ ¬r [( p →¬ q)∧(q ∨¬r )∧r ][( p →¬ q)∧(q ∨¬r )∧r ]→¬ p

v v v f f f f v f v
v v f f f v f v f v
v f v f v f v f f v
v f f f v v v v f v
f v v v f f v v v v
f v f v f v v v f v
f f v v v f v f f v
f f f v v v v v f v

 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

Premisas:
P1: p →¬ q
P2: q ∨ ¬r
P3: r
Conclusión: ¬ p
_________________
P4: q…… (Modus tollendo ponens (MTP) entre P2 Y P3)
q ∨ ¬r
r
q
P5: ¬ p ..... (Modus tollendo tollens (MTT) entre P1 y P4)

p →¬ q
q → Comprobando así que el razonamiento es válido
¬p