Ejercicio 1: Proposiciones y tabla de verdad

Proposiciones Simple

p: Los precios internaciones del petróleo se dispararon más del 4%.

q: La demanda de oro negro depende del precio internacional del petróleo.
r: el consumo del petróleo aumento más de un millón de barriles.

Lenguaje simbólico

[(p v q) ↔ r]

Lenguaje Natural:

Los precios internaciones del petróleo se dispararon más del 4% o la demanda de

oro negro depende del precio internacional del petróleo si solo si el consumo del
petróleo aumento más de un millón de barriles

Tabla de verdad Manual:

TABLA DE VERDAD
p q r (p v q) [(p v q) ↔ r]
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V

La tabla de verdad es una contingencia donde todos sus valores son verdaderos y
otras falsas.
Tabla de verdad Simulador Lógica UNAD:

Linkin de video: https://youtu.be/LewVlneUfFA

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

Expresión Simbólica

• p v ~q
q
p

• Ley de inferencia es: MODUS TOLLENDO PONENS (MPT)

 • Proposiciones simples

p: Andrés presenta los trabajos de PLM en el tiempo solicitado

q: Andrés cumple con las obligaciones del curso

• Lenguaje Natural

Andrés presenta los trabajos de PLM en el tiempo solicitado o Andrés no

cumple con las obligaciones del curso
Andrés cumple con las obligaciones del curso por lo tanto Andrés presenta
los trabajos de PML en el tiempo solicitado

Expresión Simbólica

• p→q
q→r
p→r

• Ley de inferencia es: SILOGISMO HIPOTETICO (SH)

• Proposiciones simples

p: Andrés presenta los trabajos de PLM en el tiempo solicitado

q: Andrés cumple con las obligaciones del curso
r: Andrés saca buenas notas

• Lenguaje Natural

Andrés presenta los trabajos de PLM en el tiempo solicitado entonces

Andrés cumple con las obligaciones del curso
Andrés cumple con las obligaciones del curso entonces Andrés saca buenas
notas por lo tanto Andrés presenta los trabajos de PLM en el tiempo solicitado
entonces Andrés saca buenas notas.

Expresión simbólica

• ~p ^ ~ q
~q
 • Ley de inferencia es: SIMPLIFICACION

• Proposiciones simples

p: Andrés presenta los trabajos de PLM en el tiempo solicitado

q: Andrés cumple con las obligaciones del curso

• Lenguaje Natural

SI Andrés no presenta los trabajos de PLM en el tiempo solicitado y Andrés

no cumple con las obligaciones del curso
Por lo tanto, Andrés no cumple con las obligaciones del curso.

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

La vacuna contra el COVID-19 ayuda a evitar que contraiga la enfermedad.

Vacunarse puede proteger a las personas están a su alrededor

a. Conclusión: La vacuna contra el COVID-19 ayuda a evitar que contraiga

la enfermedad y Vacunarse puede proteger a las personas están a su
alrededor

b. Ley de inferencia aplicada: ADJUNCION

c. Lenguaje simbólico:

p (premisa)
q (premisa)
p^q

Ejercicio 4: Problemas de aplicación

Expresión Simbólica

• {[(p ^ r) → (p ^ s)] ^ (p ^ r)} → s

Preposiciones simples

p: Andrés presenta los trabajos de PLM en el tiempo solicitado

r: Andrés cumple con las obligaciones del curso
s: Andrés saca buenas notas

Lenguaje natural

Si Andrés presenta los trabajos de PLM en el tiempo solicitado y Andrés cumple con
las obligaciones del curso entonces Andrés presenta los trabajos de PLM en el
tiempo solicitado y Andrés saca buenas notas y Andrés presenta los trabajos de
PLM en el tiempo solicitado y Andrés cumple con las obligaciones del curso por lo
tanto Andrés saca buenas notas.

Tabla de Verdad

TABLA DE VERDAD MANUAL

{[(p ^ r) → (p ^ s)] {[(p ^ r) → (p ^ s)] ^

p r s (p ^ r) (p ^ s) [(p ^ r) → (p ^ s)]
^ (p ^ r)} (p ^ r)} → s
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 F V F V
F V V F F V F V
F V F F F V F V
F F V F F V F V
F F F F F V F V
Tabla de Verdad Lógica UNAD

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

inferencia lógica

{[(p ^ r) → (p ^ s)] ^ (p ^ r)} → s

P1: (p ^ r) → (p ^ s)
P2: (p ^ r)
:. s

P3: p ^ s Modus Ponendo Ponens (MPP) P1 y P2

P4: s Simplificacion (S) P3