Ejercicio 1: Proposiciones y tablas de verdad

Lenguaje simbólico:

A. [(𝒑 ∧ 𝒓) ∨ (𝒑 → 𝒒)]

Premisas:

P: Un objetivo del OIR es analizar las problemáticas de las regiones afianzando la

pertinencia de los procesos educativos de la UNAD.

Q: El OIR busca potenciar el talento de los estudiantes en sus regiones.

R: El OIR se empeña en reducir las inequidades territoriales.

Lenguaje natural

Un objetivo del OIR es analizar las problemáticas de las regiones afianzando la pertinencia

de los procesos educativos de la UNAD y El OIR se empeña en reducir las inequidades

territoriales o si Un objetivo del OIR es analizar las problemáticas de las regiones

afianzando la pertinencia de los procesos educativos de la UNAD ENTONCES el OIR

busca potenciar el talento de los estudiantes en sus regiones.

Tabla Manualmente

p q r (𝒑 ∧ 𝒓) (𝒑 → 𝒒) [(𝒑 ∧ 𝒓) ∨ (𝒑 → 𝒒)]

V V
V V
V F
V F
F V
F V
F F
F F
V V V V
F F V V
V V F V
F F F F
V F V V
F F V V
V F V V
F F V V
EL resultado de esta tabla es: Contingencia ya que hay dos símbolos diferentes.

Tabla de la verdad el simulador lógica UNAD

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

Solución

Argumento:

El gato de lucía es de color amarillo o el gato de lucía es de color amarillo con blanco. El

gato de lucía no es de color amarrillo con blanco.

Proposiciones simples

P: El gato de lucía es de color amarillo

Q: El gato de lucía es de color amarillo con blanco

Conclusión: el gato de lucía es de color amarillo con blanco

Lenguaje simbólico:

P1: p v q

P2: ~ q

Conclusión: p

Ley de inferencia aplicada: Tollendo ponens (TP)

Conclusión: El gato de lucía es de color amarillo

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

A. Expresión simbólica

{[(p ᴧ q) → (p ᴧ r)] ᴧ (p ᴧ q) ᴧ (p →r)} → r

P1: (p ᴧ q) → (p ᴧ r) Conclusión: (r )

P2: (p ᴧ q)

P3: (p → r)

Solución

Tabla establecida cada ley de inferencia

premisa Ley de inferencia aplicada Premisas usadas

P4: p ᴧ r Modus Ponendo Ponens P1 y P2

(PP)

P5: p Simplificación (S) P4

P6: r Simplificación (S) P4

Tabla de la verdad mediante el simulador de lógica UNAD

Ejercicio 4: Problemas de aplicación.

A. Expresión simbólica: [(p → q) ∧ (~q) ∧ (p ∨ r)]→ r ᴧ (~q)

Premisas:

P1: (p → q)

P2: (~ q)

P3: (p ∨ r)

Conclusión: r ᴧ (~q)

 p: Juan estudia en la UNAD de manera virtual

 q: La escuela de ECEDU forma a sus estudiantes para un bien común

 r: Los monitores de la UNAD brindan muy buenas orientaciones que son eficaz
Lenguaje natural

Sí Juan estudia en la UNAD de manera virtual entonces la escuela ECEDU forma a sus

estudiantes para un bien común. La escuela de ECEDU no forma a sus estudiantes para

un bien común. Juan estudia en la UNAD de manera virtual o los monitores de la

UNAD brindan muy buenas orientaciones que son eficaz. Por consiguiente, los

monitores de la UNAD brindan muy buenas orientaciones que son eficaz y la escuela

ECEDU no forma a sus estudiantes para un bien común.

Tabla manualmente
 Tabla de la verdad mediante el 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)

P3: (p ∨ r)

Conclusión: r ᴧ (~q)

Solución

Premisa Ley de inferencia Premisas usadas

aplicada
P4: ~ p Modus Tollendo Tollens (TT) P1 y P2
P5: r Tollendo Ponens (TP) P3 y P4
P6: r ᴧ (~q) Adjunción (A) P2 y P5