Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

3607 Tarea 1 JaquelineBejaranopaez

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 13

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

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

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

Espacio para solución del ejercicio 3

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.

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:

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

También podría gustarte