1

Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos

Leidy Juanita Rangel Chaparro – Código 1098775900

Pensamiento Lógico y Matemático 200611

Grupo 200611_291

Tutor

Angelica María Antia

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 2

Introducción

Lógica, disciplina que se encarga de la aplicación de los principios generales, las formas y

estructuras de los esquemas de razonamiento formales, para determinar si uno o más argumentos

son válidos. Las tablas de verdad y las leyes de inferencia son herramientas fundamentales que

permiten comprender el funcionamiento de proposiciones y argumentos.

A través de las tablas de verdad, es factible visualizar y examinar el comportamiento

lógico de diversas expresiones y argumentos, lo que nos permiten determinar de manera precisa la

veracidad de una proposición, en función de los valores de verdad de sus componentes.

Por otro lado, las leyes de inferencia son métodos fundamentales que nos conducen en la

inducción lógica de conclusiones a partir de premisas dadas. Estas reglas crean nuevas

proposiciones válidas a partir de otras previamente halladas.

La finalidad de este trabajo es comprender y dominar las tablas de verdad y las leyes de

inferencia, en las cuales se llevar acabo ejercicios prácticos para una mejorar la comprensión de

todo el tema.
 3

Objetivos

General

Conocer los conceptos de las tablas y leyes de inferencia para llevar a cabo los procesos de

creación de tablas de verdad de forma coherente y clara.

Específicos

Identificar las proposiciones en un lenguaje simbólico y natural.

Identificar los conectores lógicos dentro de un lenguaje simbólico y natural.

Conocer las reglas de los conectores lógicos.

Crear tablas de verdad.

Usar simulador de tablas de la UNAD.

Crear proposiciones simples con base a un leguaje simbólico.

Identificar las tablas de verdad de acuerdo a su clasificación.

 4

Ejercicio 1: Proposiciones y tablas de verdad.

Descripción del ejercicio 1:

A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el desarrollo

del ejercicio A:

r: La IA en la salud está optimizando la eficiencia de la gestión de registros médicos.

s: Los chatbots de IA están mejorando la atención al paciente al proporcionar respuestas rápidas.

t: Los chatbots mejoran la accesibilidad al facilitar asesoramiento médico.

(r → s) Ʌ (r → t)

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

Si la IA en la salud está optimizando la eficiencia de la gestión de registros médicos, entonces,

Los chatbots de IA están mejorando la atención al paciente al proporcionar respuestas rápidas, Y

si la IA en la salud está optimizando la eficiencia de la gestión de registros médicos, entonces, Los

chatbots mejoran la accesibilidad al facilitar asesoramiento médico.

➢ 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.

Formula:

2n = 23=8

(r → s) Ʌ (r → t)

r s t r→s r→t (r → s) ˄ (r → t)
V V V V V V

V V F V F F

V F V F V F

V F F F F F
 5

F V V V V V

F V F V V V

F F V V V V

F F F V V V

Según la respuesta de la tabla de verdad el argumento es una CONTINGENCIA dado que los

todos los resultados finales son VERDADERO Y FALSO.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

➢Realizar un vídeo de 5 minutos máximo, tenga en cuenta las siguientes recomendaciones:

Link vídeo explicativo ejercicio 1:

https://unadvirtualedu-my.sharepoint.com/:v:/g/personal/ljrangelc_unadvirtual_edu_co/
Ef8KARjxYWxCu829_wdjjDEBVD9PlCfY6vQmPje3BAthrA?
nav=eyJyZWZlcnJhbEluZm8iOnsicmVmZXJyYWxBcHAiOiJPbmVEcml2ZUZvckJ1c2luZ
XNzIiwicmVmZXJyYWxBcHBQbGF0Zm9ybSI6IldlYiIsInJlZmVycmFsTW9kZSI6InZpZ
XciLCJyZWZlcnJhbFZpZXciOiJNeUZpbGVzTGlua0NvcHkifX0&e=UJ3yCE
 6

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

A.

Si la empatía es crucial para comprender los sentimientos de los demás entonces la regulación

emocional implica controlar las reacciones impulsivas en momentos de estrés O Si la regulación

emocional implica controlar las reacciones impulsivas en momentos de estrés entonces, la

expresión emocional asertiva es clave para comunicar los sentimientos de manera efectiva.

A partir del argumento deberá dar respuesta a los siguientes ítems:

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

r: La empatía es crucial para comprender los sentimientos de los demás.

s: La regulación emocional implica controlar las reacciones impulsivas en momentos de estrés.

t: La expresión emocional asertiva es clave para comunicar los sentimientos de manera efectiva.

➢ Identificar los conectores que intervienen en el argumento.

Conectores:

Entonces = → Disyunción = ˅

➢ Construir el lenguaje simbólico correspondiente al argumento.

(r → s) ˅ (s → t)

➢ Determinar si el argumento es una tautología, contradicción o contingencia a través del

simulador de tablas de verdad de la UNAD.

 7

Según la respuesta del simulador el argumento es una TAUTOLOGIA dado que los todos los

resultados son VERDADERO.

 8

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

A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá

identificar e indicar las leyes de inferencia y las premisas utilizadas en cada uno de los pasos para

la demostración del argumento.

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

➢ Deducir las premisas (P1, P2, P…) y la conclusión.

➢ Defina la ley de inferencia que representa el lenguaje simbólico dado

A.

Expresión simbólica

[((r ∨ s) → s) ᴧ (r ∨ s)]→ s

P1 ((r ˅ s) → s)

P2 (r ˅ s)

Conclusión: s

Ley Utilizada: Ley de Ponendo Ponnes P1 Y P2

➢Complete la tabla de demostración de la validez del argumento mediante leyes de inferencia

lógica. (Un argumento será válido cuando su valor de verdad es una tautología).

r s r∨s ((r ∨ s) → s) [((r ∨ s) → s) ᴧ (r ∨ s)] [((r ∨ s) → s) ᴧ (r ∨ s)]→ s

V V V V V V

V F V F F V

F V V V V V

F F F V F V
 9

Mediante la tabla de verdad se demuestra una TAUTOLOGÍA.

➢Deducir las premisas (P1, P2, P…) y la conclusión.

Demostración
P1: ((r ∨ s) → s)
P2: (r ∨ s) Premisas dada

Premisas Ley aplicada Premisas usadas

P3: s LEY DE PONENDO PONNES P1, P2

P1: ((r ∨ s) → s)

P2: (r ∨ s)

P3: s

➢Defina la ley de inferencia que representa el lenguaje simbólico dado.

“Modus Ponendo Ponens nos garantiza que, si una premisa es un condicional y tenemos otra

premisa que nos afirma el antecedente, entonces se deriva como conclusión el consecuente del

condicional.”
 10

Ejercicio 4: Problemas de aplicación.

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio A:

Expresión simbólica: [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

➢ 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: Carlos estudia una ingeniería en la UNAD.

q: Carlos estudia pensamiento lógico y matemático en la UNAD.

r: Carlos será un profesional capaz de resolver los problemas que se le presenten en su vida

laboral.

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas

correctivas estipuladas por la UNAD (Rubrica).

Expresión simbólica: [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

Si Carlos estudia una ingeniería en la UNAD. Carlos ha de estudiar pensamiento lógico y

matemático O no será un profesional capaz de resolver los problemas que se le presenten en su

vida laboral. Si Carlos estudia una ingeniería en la UNAD, ENTONCES, será un profesional

capaz de resolver los problemas que se le presenten en su vida laboral. Entonces, Carlos estudia
 11

una ingeniería en la UNAD Y será un profesional capaz de resolver los problemas que se le

presenten en su vida laboral.

EN CONCLUSIÓN: Carlos estudia una ingeniería en la UNAD Y será un profesional capaz de

resolver los problemas que se le presenten en su vida laboral.

➢Complete la tabla de demostración de la validez del argumento mediante leyes de inferencia

lógica. (Un argumento será válido cuando su valor de verdad es una tautología)

Demostración
P1: p
P2: (q v ~p) Premisas dada
P3: (q →r)

Premisas Ley aplicada Premisas usadas

P4: q MODUS TOLLENDO PONENS (MTP) P1, P2

P5: r MODUS PONNENDO PONNENS (MPP) P3
P6: (p ᴧ r) LEY DE CONJUNCIÓN P1, P5
 12

Conclusiones

Para realizar tablas de verdad se tienen que tener claros los conceptos básicos.

Las reglas de los conectores lógicos son fundamentales a la hora de realizar cualquier tabla

de verdad.

Cuando una tabla de verdad corresponde a una tautología, esta se rige por las leyes de

inferencia donde el fin de todo es una conclusión.

 13

Referencias Bibliográficas

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

Ciencias Aplicadas (UPC). https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?

page=10

Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje OVA].

Repositorio Institucional UNAD. https://repository.unad.edu.co/handle/10596/31590

Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio

institucional UNAD. https://repository.unad.edu.co/handle/10596/52744

Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje

OVA]. Lógica Proposicional. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/37836

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

Cid Editor. https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

Vargas Villegas, E. y Nuñez, L. A. (2019). Lógica matemática y teoría de conjuntos: ( ed.).

Santiago de los Caballeros, Universidad Abierta para Adultos (UAPA).Recuperado de

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=71.