3607 Tarea 1 JaquelineBejaranopaez

1
Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos
Jaqueline Bejarano Paez – Código 200611F_1701
Pensamiento Lógico y Matemático 200611
Grupo 1701
Director-Tutor
Luz Edith Narvaez Chamorro
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2024
2
Introducción
En el desarrollo de la siguiente actividad se va a colocar en práctica el conocimiento adquirido a
lo largo de la actividad 1 Métodos para probar la validez de argumentos, en el cual se van a
abarcar los siguientes temas proposiciones y tablas de la verdad, lógica fundamental y reglas de
inferencia lógica, vamos a conocer cómo se llega a conocer una expresión simbólica a partir del
lenguaje natural y viceversa, también como logramos identificar leyes de inferencia desde una
expresión simbólica.
3
Objetivos
General
Aprender e identificar como podemos validar los argumentos de verdad mediante la expresión
simbólica.
Específicos
• Aprender a realizar una tabla de la verdad a partir de la expresión.
• Identificar las leyes de inferencia a partir de la expresión simbólica.
• Identificar y conocer la clasificación de las tablas de verdad.

4
Ejercicio 1: Proposiciones y tablas de verdad
Espacio para solución del ejercicio 1
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.
(𝑟 → 𝑠) ∧ (𝑟 → 𝑡)
Desarrollo
Proposición
(𝑟 → 𝑠) ∧ (𝑟 → 𝑡)
Proposiciones
3
Filas
8
Paso 1
Identificar conectores
• → Condicional
• ⋀ Conjunción
• → Condicional
5
Paso 2
Proposiciones simples
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.
Paso 3
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 at ención al paciente al proporcionar respuestas rápidas Y
los chatbots mejoran la accesibilidad ENTONCES facilitan el asesoramiento médico.
Paso 4
Construir tabla de la verdad manual a partir del lenguaje simbólico
(𝑟 → 𝑠) ∧ (𝑟 → 𝑡)
6
El resultado de la tabla de verdad es una CONTINGENCIA debido a que se encuentran

combinados valores falsos y verdaderos.
Adicional adjunto enlace del Excel donde desarrolle el ejercicio
tablas verdad_bl.xlsx
Paso 5
Se realiza la revisión en la pagina de la UNAD sobre tablas de la verdad y el resultado final
respecto al desarrollo del ejercicio es el correcto.
Link vídeo explicativo ejercicio 1: Tablas de la verdad ejercicio A.mp4

7
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.
Desarrollo
Paso 1
Argumento
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
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.
r. La expresión emocional asertiva es clave para comunicar los sentimientos de manera efectiva
8
Paso 2
Conectores lógicos
Los conectores son:
Condicional (→)
Disyunción (∨)
Lenguaje simbólico
(𝑝 → 𝑞) ∨ (𝑞 → 𝑟)
Paso 3
Simulador UNAD
La tabla de verdad es una Tautología

9
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
Descripción del ejercicio: 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. Expresion simbolica
[((𝑟 ∨ 𝑠) → 𝑠) ∧ (𝑟 ∨ 𝑠)] → 𝑠
P1: ((𝒓 ∨ 𝒔) → 𝒔)
P2: (𝑟 ∨ 𝑠)
CONCLUSIÓN: 𝑠
LEY UTILIZADA: Modus Tollendo Tollens
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 4:
A. Expresión simbólica:
[𝑝 ∧ (𝑞 ∨ ~𝑝) ∧ (𝑞 → 𝑟)] → (𝑝 ∧ 𝑟)
Demostración
P1: 𝑝 Premisas dadas
P2:(𝑞 ∨∽ 𝑝)
P3:(𝑞 → 𝑟)
Premisas Ley aplicada Premisas usadas
P4: 𝑞 Tollendo Ponens (TP) P1 , P2
P5: 𝑟 Modus ponnendo P3 , P4

ponnens (MMP)
P6:(𝑝 ∧ 𝑟) Ley de Adjunción (A) P1, P5
Descripción de proposiciones simples
P: Jaqueline realiza los trabajos de la universidad los fines de semana.
q: Dispone del tiempo para ir al gimnasio.
r: Prefiere realizar los trabajos de la universidad para entregarlos en los tiempos
estipulados.
Si Jaqueline realiza los trabajos de la universidad los fines de semana entonces no dispone
del tiempo para ir al gimnasio, entonces prefiere realizar los trabajos de la universidad para
11
entregarlos en los tiempos estipulados, en conclusión, Jaqueline no realiza los trabajos de
la universidad o dispone del tiempo para ir al gimnasio.

12
Conclusiones
En el desarrollo de la actividad de se logro conocer como a partir de las proposiciones y conectores
lógicos, se obtiene la clasificación de las tablas de verdad que en este caso se obtuvo como resultado
una Tautología, el desarrollo de esta actividad permitió validar el lenguaje natural mediante las
expresiones simbólicas, aunque se me dificulto un poco validar las leyes de inferencia espero que
el en desarrollo de otras actividad refuerce mi conocimiento con la practica y apoyo de los tutores.
En el desarrollo del ejercicio 4 permitió conocer y demostrar la validez de un argumento a través
del método de deducción, se deduce la conclusión de un argumento a partir de premisas.

13
Referencias Bibliográficas
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. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje OVA]. Repositorio
Institucional UNAD. https://repository.unad.edu.co/handle/10596/31590
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

3607 Tarea 1 JaquelineBejaranopaez

Cargado por

Copyright:

Formatos disponibles

3607 Tarea 1 JaquelineBejaranopaez

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

3607 Tarea 1 JaquelineBejaranopaez

Cargado por

Copyright:

Formatos disponibles

1

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

Jaqueline Bejarano Paez – Código 200611F_1701

Pensamiento Lógico y Matemático 200611

Luz Edith Narvaez Chamorro

Universidad Nacional Abierta y a Distancia - UNAD

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

En el desarrollo de la siguiente actividad se va a colocar en práctica el conocimiento adquirido a

lo largo de la actividad 1 Métodos para probar la validez de argumentos, en el cual se van a

• Aprender a realizar una tabla de la verdad a partir de la expresión.

• Identificar las leyes de inferencia a partir de la expresión simbólica.

• Identificar y conocer la clasificación de las tablas de verdad.

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

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

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

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

SI la IA en la salud está optimizando la eficiencia de la gestión de registros médicos ENTONCES

Construir tabla de la verdad manual a partir del lenguaje simbólico

El resultado de la tabla de verdad es una CONTINGENCIA debido a que se encuentran

Adicional adjunto enlace del Excel donde desarrolle el ejercicio

Se realiza la revisión en la pagina de la UNAD sobre tablas de la verdad y el resultado final

respecto al desarrollo del ejercicio es el correcto.

Link vídeo explicativo ejercicio 1: Tablas de la verdad ejercicio A.mp4

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

Espacio para solución del ejercicio 2

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

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

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.

Los conectores son:

La tabla de verdad es una Tautología

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

Espacio para solución del ejercicio 3

Descripción del ejercicio: A continuación, encontrará un argumento para el desarrollo del

cada uno de los pasos para la demostración del argumento.

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

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

para el desarrollo del ejercicio 4:

P5: 𝑟 Modus ponnendo P3 , P4

Descripción de proposiciones simples

P: Jaqueline realiza los trabajos de la universidad los fines de semana.

q: Dispone del tiempo para ir al gimnasio.

r: Prefiere realizar los trabajos de la universidad para entregarlos en los tiempos

entregarlos en los tiempos estipulados, en conclusión, Jaqueline no realiza los trabajos de

la universidad o dispone del tiempo para ir al gimnasio.

En el desarrollo de la actividad de se logro conocer como a partir de las proposiciones y conectores

En el desarrollo del ejercicio 4 permitió conocer y demostrar la validez de un argumento a través

del método de deducción, se deduce la conclusión de un argumento a partir de premisas.

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. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje OVA]. Repositorio

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

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