1

LITERAL B

Ejercicio 1: Proposiciones y tablas de verdad

R//:

p: La IA está transformando la industria al permitir la automatización en los procesos de

producción.

q: La IA está automatizando los procesos de control de calidad.

r: La IA está mejorando la eficiencia al predecir la demanda en la gestión de inventario.

(𝑝 ∧ 𝑞 ⟷) (𝑞 ∧ 𝑟)

1. Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural

(p y q) si y sólo si (q y r)

La IA está transformando la industria al permitir la automatización en los procesos de

producción. y está automatizando los procesos de control de calidad. si y sólo si los

procesos de control de calidad. y la eficiencia al predecir la demanda en la gestión de

inventario.
 2

2. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

(𝑝 ∧ 𝑞 ) ⟷ (𝑞 ∧ 𝑟)

p q r (𝒑 ∧ 𝒒) (𝒒 ∧ 𝒓) (𝒑 ∧ 𝒒 ) ⟷ (𝒒 ∧ 𝒓)

V V V V V V

V V F V F F

V F V F F V

V F F F V V

F V V F V F

F V F F F V

F F V V F V

F F F V V V

** Es una CONTINGENCIA
 3

3. Generar la tabla de verdad a través del simulador

Link vídeo explicativo ejercicio 1: https://youtu.be/c9lU6lGWZBQ?si=OkggKovkwfDLS6j5

Ejercicio 2: Aplicación de la lógica fundamental

B. La actualización del software es necesario para remediar vulnerabilidades de seguridad O la

copia de seguridad periódica es esencial para la recuperación de información entonces, la

actualización del software NO es necesario para remediar vulnerabilidades de seguridad Y la

encriptación de datos es esencial para proteger la confidencialidad de la información.

 4

1. Definir cuáles son las proposiciones simples que intervienen en el argumento.

p: La actualización del software es necesario para remediar vulnerabilidades de seguridad

q: la copia de seguridad periódica es esencial para la recuperación de información

r: la encriptación de datos es esencial para proteger la confidencialidad de la información.

2. Identificar los conectores que intervienen en el argumento.

∨ Disyunción = (o)

→ Implicación = (entonces)

~ Negación = (no)

∧ Conjunción = (y)

3. Construir el lenguaje simbólico correspondiente al argumento.

(𝒑 ∨ 𝒒) ⟶ (𝒑~ ∧ 𝒓)

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

B. Expresión simbólica

(∼r ᴧ s) → ∼r

P1: ~𝒓 ∧ 𝒔)

Conclusión: ~𝒓)

Ley utilizada: Modus Tollendo Tollens

 5

Ejercicio 4: Problemas de aplicación.

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

1. Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción

basada en un contexto académico o social. Las proposiciones simples deben contener 1.

Sujeto, 2. Verbo y 3. Predicado.

[(𝒑 ⟶ 𝒒) ∧ (𝒒 → 𝒓) ∧ 𝒒 ∧ (~𝒓 ∨ ~𝒒))] → (~𝒑 ∧ ~𝒓)

p: El calentamiento global es causado por actividades humanas.

q: La temperatura de la Tierra está aumentando.

r: Los eventos climáticos extremos están ocurriendo con mayor frecuencia

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

El calentamiento global es causado por actividades humanas. Entonces, la temperatura de

la tierra está aumentando y, debido a esto entonces como consecuencia, los eventos

climáticos extremos están ocurriendo con mayor frecuencia; y, no es cierto que los eventos

climáticos extremos estén ocurriendo con mayor frecuencia o no es cierto que la

temperatura de la tierra esté aumentando. Entonces, podemos concluir que el calentamiento

global no es causado por actividades humanas. y, no es cierto que los eventos climáticos

extremos estén ocurriendo con mayor frecuencia.”

 6

3. Complete la tabla de demostración de la validez del argumento mediante leyes de

inferencia lógica.

[(𝒑 ⟶ 𝒒) ∧ (𝒒 → 𝒓) ∧ 𝒒 ∧ (~𝒓 ∨ ~𝒒))] → (~𝒑 ∧ ~𝒓)

Demostración
P1: (𝒑 → 𝒒)
P2: (𝒒 → 𝒓)
Premisas dadas
P3: 𝒒
P4: (~𝒓 ∨ ~𝒒)
Premisas Ley aplicada Premisas usadas
P5: (𝒑 → 𝒓) SILOGISMO HIPOTETICO P1,P2
P6: ~𝑟 MODUS PONNENDO PONNENS (MPP) P1,P3
P7: ~𝑝 MODUS TOLLENDO TOLLENS (MTT) P5,P6
P8: (~𝒓 ∧ ~𝒒) LEY DE ADJUNCIÓN (LA) P8
 7

Conclusiones

Encontramos que las tablas de verdad representan todas las combinaciones posibles de

valores de verdad para proposiciones. Y nos ayudan a determinar las condiciones de

verdad de una expresión lógica, así mismo son esenciales para verificar la validez de

argumentos y analizar proposiciones.

Aprendimos también sobre las Leyes de Inferencia, trabajamos sobre las mas relevantes

como son:

Modus Ponendo Ponens: Si tenemos una implicación “si p, entonces q” y sabemos que p

es verdadero, podemos concluir que q también es verdadero.

Modus Tollendo Tollens: Si tenemos una implicación “si p, entonces q” y sabemos que q

es falso, podemos concluir que p también es falso.

Silogismo Hipotético: Permite deducir una conclusión a partir de dos implicaciones.

Silogismo Disyuntivo: Permite deducir una conclusión a partir de una disyunción.

Negación, Adición, Simplificación, Implicación y Conjunción: Otras reglas útiles para

simplificar expresiones lógicas.

Tanto las leyes de inferencia como las tablas de verdad son herramientas poderosas para

razonar y demostrar la validez de argumentos; Su aplicación es crucial en matemáticas,

filosofía, ciencias de la computación y otras disciplinas. Comprender y aplicar estas

herramientas nos permite construir argumentos sólidos y analizar la lógica detrás de las

proposiciones.
 8

Referencias Bibliográficas

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El

Cid Editor. (pp. 40-49). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

Daniel Machado, Lógica matemática. Tablas de verdad. https://flamath.com/tablas-de-

verdad