1

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

Juana Valentina Arevalo Varon – Código 1000615050

Pensamiento Lógico y Matemático 200611

Grupo - 1032

Tutor

Richard Alexander Muñoz Castro

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

El presente trabajo da a conocer y profundiza métodos para la debida aprobación de

validez de argumentos, lo cual es clave para dar solución a 4 simples ejercicio donde se incluye

factores como premisas y conclusiones, permitiendo fortalecer a su vez un conocimiento amplio

sobre la lógica proposicional, donde se elaboran temas como proposiciones, tablas de verdad,

aplicación de leyes de inferencia permitiendo al conocimiento y razonamiento dar solución a las

diversas situaciones que se presentan.

Por otro lado, el mismo contenido permite lograr un pensamiento crítico al relacionar

experiencias ya vividas con la realidad generando la toma de decisiones asertivas, contribuyendo

significativamente al razonamiento del ser humano sobre su diario vivir.

 3

Objetivos

General

Comprender y estudiar los métodos para aprobar la validez de argumentos en base a la

conexión y razonamiento de estos con el fin de determinar si es válido un argumento mediante la

aplicación de la lógica proporcional.

Específicos

Identificar el lenguaje simbólico y natural que nos ofrece las preposiciones simples para

así mismo verificar el resultado con argumentos apoyados en el simulador de tablas de la verdad.

Relacionar el conocimiento con la razón que permita la adecuada aplicación la lógica

fundamental profundizada en el reconocimiento de los conectores y la clasificación determinada

de un argumento.

Analizar las leyes de inferencia lógica de tal modo que se logre la demostración de un

argumento válido.
 4

Ejercicio 1: Proposiciones y tablas de verdad

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)

• Lenguaje 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.

• Tabla de verdad manualmente

r s t r→s r→t (r → s) Λ (r → t)
1 v v v v v v
2 v v f v f f
3 v f v f v f
4 v f f f f f
5 f v v v v v
6 f v f v v v
7 f f v v v v
8 f f f v v v
 5

• Tabla de verdad a través del simulador Lógica UNAD

Enlace vídeo explicativo ejercicio 1:

Explicación Ejercicio 1 - https://youtu.be/MPOKQnheGfA

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.

• Proposiciones simples que intervienen en el argumento.

p: la empatía es crucial para comprender los sentimientos de los demás.

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

 6

r: la expresión emocional asertiva es clave para comunicar los sentimientos de manera

afectiva.

• Conectores que intervienen en el argumento.

(→) – Condicional – (si…entonces,)

(V) – Disyunción inclusiva – (o)

• Lenguaje simbólico correspondiente al argumento.

(p→q) V (q→r)

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

del simulador de tablas de verdad de la UNAD.

La tabla es una TAUTOLOGIA

 7

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

A. Expresión simbólica [((r ∨ s) → s) ᴧ (r ∨ s)]→ s

P1: ((r ∨ s) → s)

P2: (r ∨ s)

Conclusión s

Simplificación Disyuntiva
Ley utilizada
(SD)

Ejercicio 4: Problemas de aplicación

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

Demostración

P1: p
P2: (q v ~p) Premisas dadas
P3: (q →r)
Premisas Ley aplicada Premisas usadas
P4: q MODUS TOLLENDO PONENS P1, P2
P5: r MODUS PONNENDO P3, P1
PONNENS (MPP)
P6: (p ᴧ r) ADJUNCIÓN (A) P1, P5

• Definición de Proposiciones simples:

p: Camila estudia licenciatura en pedagogía infantil en la UNAD

q: Camila se gradúa con 156 créditos aprobados

r: La universidad brinda espacios sincrónicos como la monitoria

 8

• Lenguaje natural:

Camila estudia licenciatura en pedagogía infantil en la UNAD Y Camila se gradúa con 156

créditos aprobados O Camila NO estudia licenciatura en pedagogía infantil en la UNAD Y SI

Camila se gradúa con 156 créditos aprobados ENTONCES, la universidad brinda espacios

sincrónicos como la monitoria. Por lo tanto, Camila estudia licenciatura en pedagogía infantil en la

UNAD Y la universidad brinda espacios sincrónicos como la monitoria

 9

Conclusiones

La validación de un argumento se basa en la conclusión que se logra si o si de las

premisas, por lo que es importante tener en cuenta el conocimiento y la capacidad de identificar

argumentos validos y solidos ´para así alcanzar una mayor contribución en ello dando respuesta a

lo requerido.

Por otro lado, al dar continuidad y solución a ejercicio por ejercicio se adquiere mayor

conocimiento sobre la aplicación de reglas de inferencias y tablas de verdad las cuales permite un

fácil análisis y evaluación de argumentos de forma asequible y eficaz al momento de ello.

 10

Referencias Bibliográficas

Castaño, C. & García, A., R. (2022). Aplicación de las reglas de inferencia lógica.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

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

Castaño, C. & Martínez, C. (2022). Lógica e inferencia. [Objeto_virtual_de_Informacion_OVI].

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

Castaño, C. (2022). Aprendiendo sobre Blearning – Cipas y Webconferencias.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

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

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

(UPC). (pp. 13-27). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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

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

Volumen I: conjuntos numéricos, complementos. Editorial Tébar Flores. (pp. 19-

28). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20
 11

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad Abierta para

Adultos (UAPA). (pp. 18-36). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=19

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

conjuntos. Universidad Abierta para Adultos (UAPA). (pp 67-77). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=68