Ejercicio 1:

A. Lenguaje natural: El pacto en Colombia con las juventudes es una

estrategia del gobierno entonces permite construir soluciones a los retos del
país entonces el pacto en Colombia con las juventudes escucha

Tabla de verdad

p q r p →r ( p →r ) →q
V V V V V
V V F F V
V F V V F
V F F F V
F V V V V
F V F V V
F F V V F
F F F V F

Es una contradicción.
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.

A. Expresión simbólica

Modus Tollens

Modus Ponens

Silogismo Hipotetico

p: Frank estudia en la universidad de córdoba

q: La Universidad de córdoba es una Universidad Pública
s: La universidad de córdoba es de color verde

 Frank estudia en la universidad de córdoba entonces La Universidad de

córdoba es una Universidad Pública. La Universidad de córdoba no es una
Universidad Pública. Conclusión Frank no estudia en la universidad de córdoba

 Frank estudia en la universidad de córdoba entonces La Universidad de

córdoba es una Universidad Pública. Frank estudia en la universidad de
córdoba. Conclusión La Universidad de córdoba es una Universidad Pública.

 La Universidad de córdoba es una Universidad Pública entonces La

universidad de córdoba es de color verde. Frank estudia en la universidad de
córdoba entonces La Universidad de córdoba es una Universidad Pública.
Conclusión Frank estudia en la universidad de córdoba entonces La
universidad de córdoba es de color verde.
 Ejercicio 3: Aplicación de las reglas de la inferencia lógica

A. Si Colombia cuenta con las costas del mar caribe, entonces, Colombia está en una
posición privilegiada. Si Colombia está en una posición privilegiada, entonces,
Colombia cuenta con el océano pacifico

a. Lenguaje simbólico:
p →q
q→s
¿¿
p→ s
b. Ley de inferencia aplicada: Silogismo Hipotético
c. Conclusión: Si Colombia cuenta con las costas del mar caribe, entonces,
Colombia cuenta con el océano pacifico.

Ejercicio 4: Problemas de aplicación

A.

[ ( p → q ) ⋀ ( p ⋀ s ) ]→q
Sea,

p: Pedro estudia en La institución educativa la inmaculada.

q: La institución educativa la inmaculada es pública.

S: La institución educativa la inmaculada es de color azul

 Pedro estudia en La institución educativa la inmaculada entonces La institución educativa

la inmaculada es pública y Pedro estudia en La institución educativa la inmaculada y La
institución educativa la inmaculada es de color azul entonces La institución educativa la
inmaculada es pública.

p q s ( p → q) ( p ⋀ s) [ ( p → q) ⋀ ( p ⋀ s )] [ ( p → q ) ⋀ ( p ⋀ s ) ]→q

V V V V V V V
V V F V F F V
V F V F V F V
V F F F F F V
F V V V F F V
F V F V F F V
F F V V F F V
F F F V F F V
Es una tautología

Aplicación de las leyes de la inferencia

Premisas

P1: ( p → q)
P2: ( p ∧ s)
P3: p p2 simplificación
P4: q entre p1 y p3 modus ponens

B. Expresión simbólica: {(𝑟⟶𝑠) ∧𝑟)}⟶(𝑠∨𝑡)

r: Frank estudia en la universidad de córdoba

t: La Universidad de córdoba es una Universidad Pública
s: La universidad de córdoba es de color verde

 Frank estudia en la universidad de córdoba entonces, La universidad de córdoba es de

color verde y Frank estudia en la universidad de córdoba entonces, La universidad de
córdoba es de color verde o La Universidad de córdoba es una Universidad Pública.
 { ( r → s ) ∧ r }→(s ∨ t)

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

r S t r →s ( r → s ) ∧r s ∨t ¿ { ( r → s ) ∧ r }→(s ∨ t)
V V V V V V V
V V F V V V V
V F V F F V V
V F F F F V V
F V V V F V V
F V F V F V V
F F V V F V V
F F F V F F V

 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 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.
Es una tautología

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

inferencia lógica.
Premisas:
P1: (𝑟⟶𝑠)
P2: 𝑟
P3: s Modus Ponens de p1 y p2
P4: t
P5: s∨t Adición p3 y p4

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

p: Juan estudia en la universidad de córdoba

q: La Universidad de córdoba es una Universidad Pública
 Juan estudia en la universidad de córdoba o La Universidad de córdoba es una
Universidad Pública si solo si Juan no estudia en la universidad de córdoba y La
Universidad de córdoba no es una Universidad Pública entonces, Juan estudia en la
universidad de córdoba y La Universidad de córdoba es una Universidad Pública.

p q 𝑝 ∨𝑞 ¬𝑝∧¬𝑞 (𝑝∧𝑞) (𝑝 ∨𝑞)↔(¬𝑝∧¬𝑞) [(𝑝

∨𝑞)↔(¬𝑝∧¬𝑞)]→(𝑝∧𝑞)
V V V F V F V
V F V F F F V
F V V F F F V
F F F V F V F

 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 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.
  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica.

Premisas:
P1: (𝑝 ∨𝑞)
P2:(¬𝑝∧¬𝑞)
P3: ¬𝑝 Simplificación p2
P4: q silogismo disyuntivo p1 y p3
P5: ¬𝑞 Simplificación p2
P6: p silogismo disyuntivo p1 y p5
P7: p ∧ q conjunción p4 y p6

C. Expresión simbólica: [(∼𝑝→∼𝑞)∧(∼𝑞→∼𝑟)∧(∼𝑝)]→(∼𝑞 ∧ ∼𝑟)

p: Pedro estudia en la universidad de córdoba

q: La Universidad de córdoba es una Universidad Pública
r: La universidad de córdoba es de color verde

Pedro no estudia en la universidad de córdoba entonces, La Universidad de córdoba no es

una Universidad Pública y La Universidad de córdoba no es una Universidad Pública,
entonces La universidad de córdoba no es de color verde y Pedro no estudia en la
universidad de córdoba, entonces La Universidad de córdoba no es una Universidad
Pública y La universidad de córdoba no es de color verde

p q r (∼𝑝→ (∼𝑞→ (∼𝑝→∼𝑞)∧(∼ [(∼𝑝→∼𝑞)∧(∼𝑞→ [(∼𝑝→∼𝑞)∧(∼𝑞→∼𝑟)∧

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

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

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

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

inferencia lógica.

Premisas:
P1: (∼𝑝→∼𝑞)
P2: (∼𝑞→∼𝑟)
P3: ∼𝑝
P4: (∼p→∼𝑟) Silogismo hipotético entre p1 y p2
P5: ∼𝑟 Modus Ponens p4 y p3
P6: ∼𝑞 Modus Ponens p1 y p3
P7: Conclusión: (∼𝑞 ∧ ∼𝑟) Conjunción p6 y p5
 D. Expresión simbólica: [ (𝑡 →𝑠)∧(𝑠→𝑝 )]→(𝑡 →𝑝)

t: Pedro estudia en la universidad de córdoba

s: La Universidad de córdoba es una Universidad Pública
p: La universidad de córdoba es de color verde

 Pedro estudia en la universidad de córdoba entonces La Universidad de córdoba es una

Universidad Pública y La Universidad de córdoba es una Universidad Pública entonces, La
universidad de córdoba es de color verde, entonces Pedro estudia en la universidad de
córdoba entonces La universidad de córdoba es de color verde.

t s p 𝑡 →𝑠 𝑠→𝑝 𝑡 →𝑝 [ (𝑡 [ (𝑡
→𝑠)∧(𝑠→𝑝 )] →𝑠)∧(𝑠→𝑝 )]→
(𝑡 →𝑝)
V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V

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 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.
  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica.

Premisas:
P1: (𝑡 →𝑠)
P2: (𝑠→ )
P3: Conclusión: (𝑡 →𝑝) silogismo hipotético entre p1 y p2