1

Pensamiento Lógico y Matemático

Actividad 1 – Métodos para probar la validez de argumentos

Sebastián Felipe Córdoba Fernández

CC. 1’015.484.151

Tutora

Yeiny Consuelo Alarcon

Bogotá D.C.

06/09/2022

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería – ECBTI

Ingeniería de Sistemas (Resolución 011685)

2022
 2

Tabla de contenido

Introducción.......................................................................................................................3

Objetivos............................................................................................................................ 4

Ejercicio 1 – Proposiciones y tablas de verdad...................................................................5

Ejercicio 2 – Identificación de las reglas de la inferencia lógica.........................................7

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

Ejercicio 4 – Problemas de aplicación..............................................................................10

Conclusiones.................................................................................................................... 12

Referencias...................................................................................................................... 13
 3

Introducción

El siguiente trabajo demuestra mis habilidades frente a las tablas de verdad, elaboración

de las mismas y prueba de la validez de argumentos con respecto a los ejercicios planteados en la

guía de actividades y rúbrica de evaluación, validando su veracidad con el simulador de lógica de

la UNAD y concluyendo cada ejercicio.

 4

Objetivos

1. Entender el manejo de las tablas de verdad.

2. Comprender y validar la información en proposiciones.

3. Analizar los valores y definir los resultados dando una conclusión.

4. Verificar que la solución de las tablas de verdad sea correcta y así demostrar la validez

de los argumentos.

5. Analizar, entender y clasificar el lenguaje simbólico y natural de cada ejercicio.

 5

Ejercicio 1 – Proposiciones y tablas de verdad

Yo escogí desarrollar los ejercicios de la letra “B”, a continuación, anexo el desarrollo del

primer ejercicio.

➢ Proposiciones Simples

𝒑: El Modelo Pedagógico Unadista está apoyado en el E-learning.

𝒒: El MPU tiene accionar de aprendizaje autónomo.

𝒓: El MPU tiene accionar de aprendizaje significativo.

s: El MPU tiene accionar de aprendizaje colaborativo

➢ Lenguaje Simbólico

(𝒓 ∧ 𝒒) ∨ (𝒓 ∧ s) → 𝒑

➢ Proposición Compuesta En Lenguaje Natural

Si el MPU tiene accionar de aprendizaje significativo y el MPU tiene accionar de

aprendizaje autónomo o el MPU tiene accionar de aprendizaje significativo y el MPU tiene

accionar de aprendizaje colaborativo entonces el modelo pedagógico unadista está apoyado en el

E-learning.
 6

➢ Tabla Manual

𝒑 𝒒 𝒓 s (𝒓 ∧ 𝒒) (𝒓 ∧ s) (𝒓 ∧ 𝒒) ∨ (𝒓 ∧ (𝒓 ∧ s) → 𝒑 (𝒓 ∧ 𝒒) ∨ (𝒓 ∧
s) s) → 𝒑
V V V V V V V V V
V V V F V F V V V
V V F V F F F V V
V V F F F F F V V
V F V V F V V V V
V F V F F F F V V
V F F V F F F V V
V F F F F F F V V
F V V V V V V F F
F V V F V F V V F
F V F V F F F V V
F V F F F F F V V
F F V V F V V F F
F F V F F F F V V
F F F V F F F V V
F F F F F F F V V

El resultado según los valores de la tabla, yo la califico como: Contingencia

 7

➢ Simulador Lógica UNAD

(UNAD, 2019)

➢ Video Explicativo

https://youtu.be/71m16j3mrNo (Lo grabé con el celular por comodidad)

 8

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

Yo escogí desarrollar los ejercicios de la letra “B”, a continuación, anexo el desarrollo del

segundo ejercicio.

➢ Expresión Simbólica 1

➢ Ley de Inferencia de la Expresión

Según lo que identifiqué en la expresión es la Ley de Tollendo Ponens (TP).

➢ Proposiciones Simples

r: Felipe estudia Ingeniería de Sistemas en la UNAD.

s: Felipe aprende sobre Textos de Derecho Internacional.

➢ Proposición Compuesta En Lenguaje Natural

Si Felipe estudia Ingeniería de Sistemas en la UNAD o Felipe aprende sobre Textos de

Derecho Internacional. Felipe no estudia Ingeniería de Sistemas en la UNAD. Por lo tanto,

Felipe aprende sobre Textos de Derecho Internacional.

 9

➢ Expresión Simbólica 2

➢ Ley de Inferencia de la Expresión

Según lo que identifiqué en la expresión es la Ley de Silogismo Hipotético (SH).

➢ Proposiciones Simples

p: Gloria estudia Regencia en Farmacia en la UNAD.

q: Gloria aprende sobre Temas de Fármacos.

r: Gloria utiliza libros de Farmacología.

➢ Proposición Compuesta En Lenguaje Natural

Si Gloria estudia Regencia en Farmacia en la UNAD entonces Gloria aprende sobre

Temas de Fármacos. Si Gloria aprende sobre Temas de Fármacos entonces Gloria utiliza libros

de Farmacología. Por lo tanto, si Gloria estudia Regencia en Farmacia en la UNAD entonces

Gloria utiliza libros de Farmacología.

 10

➢ Expresión Simbólica 3

➢ Ley de Inferencia de la Expresión

Según lo que identifiqué en la expresión es la Ley de Adjunción (A).

➢ Proposiciones Simples

r: Camila estudia Administración en Salud en la UNAD.

s: Camila aprende sobre Maquinaria y Diseño Industrial.

➢ Proposición Compuesta En Lenguaje Natural

Camila estudia Administración en Salud en la UNAD. Camila aprende sobre Maquinaria

y Diseño Industrial. Por lo tanto, Camila estudia Administración en Salud en la UNAD y Camila

aprende sobre Maquinaria y Diseño Industrial.

 11

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

Yo escogí desarrollar los ejercicios de la letra “B”, a continuación, anexo el desarrollo del

tercer ejercicio.

➢ Enunciado

Si Colombia tiene la bebida oficial del encuentro, entonces, el café es reconocido por su

calidez. Colombia tiene la bebida oficial del encuentro.

a: Colombia tiene la bebida oficial del encuentro.

b: El café es reconocido por su calidez.

➢ A. Lenguaje Simbólico

ab

➢ B. Ley de Inferencia Aplicada

Según lo que identifiqué en el enunciado es la Ley de Modus Ponendo Ponens (PP).

➢ C. Conclusión

El café es reconocido por su calidez.

 12

Ejercicio 4 – Problemas de aplicación

Yo escogí desarrollar los ejercicios de la letra “B”, a continuación, anexo el desarrollo del

cuarto ejercicio.

➢ Expresión Simbólica

{(𝑟 ⟶ 𝑠) ∧ 𝑟} ⟶ (𝑠 ∨ 𝑡)

➢ Premisas

P1: (𝑟 ⟶ 𝑠)

P2: 𝑟

➢ Conclusión

Según lo que identifiqué en la expresión simbólica es (𝑠 ∨ 𝑡)

➢ Proposiciones Simples

r: Marlon estudia Ingeniería de Alimentos.

s: Marlon aspira ser el mejor alumno de su carrera.

t: Marlon está matriculado en Regencia de Farmacia.

➢ Lenguaje Natural

Si Marlon estudia Ingeniería de Alimentos entonces Marlon aspira ser el mejor alumno

de su carrera. Marlon estudia Ingeniería de Alimentos. Por lo tanto, Marlon aspira ser el mejor

alumno de su carrera o Marlon está matriculado en Regencia de Farmacia.

r s t (𝑟 ⟶ 𝑠) (𝑠 ∨ 𝑡) {(𝑟 ⟶ 𝑠) ∧ 𝑟)} {(𝑟 ⟶ 𝑠) ∧ 𝑟)} ⟶ (𝑠 ∨ 𝑡)

V V V V V V V

V V F V V V V

V F V F V F V
 13

V F F F F F V

F V V V V F V

F V F V V F V

F F V V V F V

F F F V F F V

➢ Tabla Manual

El resultado según los valores de la tabla, yo la califico como: Tautología

➢ Simulador Lógica UNAD

(UNAD, 2019)

➢ Demostración de la validez del argumento mediante las Leyes de Inferencia

P1: (𝑟 ⟶ 𝑠)

P2: 𝑟
14

𝑟⟶𝑠

(𝑠 ∨ 𝑡)

P3: (𝑠 ∨ 𝑡) ……. Silogismo Disyuntivo entre P1 y P2

 15

Conclusiones

Con el desarrollo de estas actividades de los 4 ejercicios, puedo concluir que con la

utilización de las tablas de verdad podemos probar la validez de los argumentos frente a

cualquier proposición planteada, podemos definir los resultados y así determinar su conclusión,

por otro lado me enseña a ordenar los valores y proposiciones de una mejor manera, para

comprender mejor cada ejercicio y problema planteado, el simulador de lógica de la UNAD nos

corrobora el trabajo hecho en nuestra tabla manual y así saber que estamos haciendo mal, y por

último la lógica matemática aplicada a estas tablas de verdad la utilizamos en muchos momentos

de nuestras vidas y será útil para comprobar muchos planteamientos a lo largo de nuestra vida.
 16

Referencias

Bibliografía

UNAD, J. M. (2019). JTabla Simulador de Tablas de Verdad online. Obtenido de UNAD:

http://logicaunad.com/jtruth/

Curo, A. (2015). Matemática básica para administradores.

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

Rodríguez, V. R. (2013) Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra

lineal.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios.

Castaño, C. (2017). Proposiciones y tablas de verdad.

Castaño, C. (2017). Leyes de inferencia.