1

Nombre: Manuela Acevedo Quintero

Número de identificación:1001250483

Ejercicio 1 Proposiciones y tabla de verdad

Proposiciones y tabla de verdad
El ejercicio que elegí que la letra B
B.

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 mas vistas del mundo

 Lenguaje simbólico

( p ∨q) →(∼ q ∧ r)

 Lenguaje natural

Si la casa de papel es la mejor serie de Netflix o Stranger things es una serie de

Netflix 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

p q r ~q (p v q) (~q ^ r) ( p ∨q) →(∼ q ∧ r)

V V V F V F F

V V F F V F F

V F V V V V V

V F F V V F F

F V V F V F F

F V F F V F F

F F V V F V V

F F F V F F V
 2

Se clasifica como una contingencia ya que hay falsos y verdaderos

 Tabla de verdad simulador UNAD

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

B. Expresión simbólica
 3

 Ley de inferencia de la expresión: Simplificación

 Proposiciones simples:

p: Stark asiste a los B learning

q: Stark está en el periodo 16_01
¬q: Stark no está en el periodo 16_01

 Lenguaje natural

Si Stark asiste a los B-learning y Stark no está en el periodo 16_01 por lo tanto Stark
asiste a los B-learning

 Ley de inferencia de la expresión: modus tollendo tollens (MTT)

 Proposiciones simples:

s: Stark asiste a los B-learning

t: Stark estudia Radiología
¬s: Stark no asiste a los B-learning
¬t: Stark no estudia Radiología

 Lenguaje natural

Si Stark asiste a los B-learning entonces Stark estudia Radiología. Stark no estudia
Radiología, por lo tanto, Stark no asiste a los B-learning

 Ley de inferencia de la expresión: modus ponendo ponens (MPP)

 Proposiciones simples:

r: Stark estudia Radiología

¬r: Stark no estudia Radiología
 4

s: Stark cursa 5 semestres

 Lenguaje natural:

Si Stark no estudia Radiología entonces Stark cursa 5 semestres. Stark no estudia

Radiología, por lo tanto, Stark cursa 5 semestres.

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

B.

a. Lenguaje simbólico:

p→q
¬q
∴¬ p

b. Ley de inferencia aplicada: modus tollendo tollens (MTT)

c. Conclusión: Un administrador de empresas no lidera organizaciones que
contribuyen a la construcción del progreso económico.

Ejercicio 4: Problemas de aplicación

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

 Premisas

p1: (𝑝 ⟶ 𝑟)
p2: (𝑞 ⟶ 𝑝)
p3: (𝑝 ∧ 𝑞)
Conclusión: (𝑞 ∧ 𝑟)

 Proposiciones simples

p: Carlos estudia Derecho en la UNAD

q: Asiste a los B-learning
r: Participa en los foros
 5

 Lenguaje natural

Si Carlos estudia derecho en la UNAD entonces participa en los foros. Si asiste a los
B-learning entonces Carlos estudia derecho en la UNAD. Si Carlos estudia derecho en la
UNAD y asiste a los B-learning, por lo tanto, asiste a los B-learning y participa en los foros.

 Tabla manual

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

V V V V V V V

V V F F V V V

V F V V V F V

V F F F V F V

F V V V F F V

F V F V F F V

F F V V V F V

F F F V V F V

 Tabla de verdad Simulador UNAD

 6

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

Premisas
p1: (𝑝 ⟶ 𝑟)
p2: (𝑞 ⟶ 𝑝)
p3: (𝑝 ∧ 𝑞)
Conclusión: (𝑞 ∧ 𝑟)
__________________

P4: p… Simplificación (P3)

p∧q
p

P5: q… Simplificación (P3)

p∧q
q

P6: r…. Modus ponendo ponens (MPP) entre P1 y P4

p ⟶r
p
r

P7: 𝑞 ∧ 𝑟…. Conjunción entre P5 y P6

q
r → Comprobado así que el razonamiento es válido
q ∧r