1

Unidad 1 – Tarea 1

Métodos para probar la validez de argumentos

Eblyn Sarmiento

200611

Pensamiento Lógico y Matemático 200611

Grupo: 2791

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y

conocidos de la lógica formal, pero la mismo tiempo también uno de los más poderosos y

claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica

formal misma. En esta sesión haremos algunas reflexiones alrededor de las tablas de

verdad cómo pretexto para Interpretar adecuadamente las tablas de verdad y reglas de

inferencia para probar la validez de argumentos.

 3

Objetivos

General

Interpretar adecuadamente las tablas de verdad y reglas de inferencia para probar la

validez de argumentos.

Específicos

Tablas de Verdad

Condiciones Necesarias y Suficientes de la Verdad

Lógica Intensional y el Principio de Independencia Lógica

 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.

(r → s) Ʌ (r → t)

SOLUCION

Deberá dar respuesta a los siguientes ítems: argumento que haya seleccionado deberá dar

respuesta a los siguientes ítems:

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

R). 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 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

 5

➢ Generar una tabla de verdad manualmente a partir del lenguaje

R)

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

F V V V V V

F V F V V V

F F V V V V

F F F V V V

el resultado es una contingencia

 6

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

➢ Realizar un vídeo de 5 minutos máximo explicando el ejercicio >

https://youtu.be/YDS9rjbrLnc?si=OCAql1hhK95H_FFf
 7

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

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

Definición de 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

Identificar los conectores que intervienen en el argumento.

Los conectores del argumento son: Condicional (. ) Disyunción (v)

Construir el lenguaje simbólico correspondiente al argumento.

(pq) v (qr)
 8

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

simulador de tablas de verdad de la UNAD.

es un argumento Tautologia es decir todos verdaderos

(pq) v (qr)
 9

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

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

P1: (r ∨ s) → s)

P2: (r ∨ s)]

Conclusión: s

Ley utilizada: Modos ponens

Ejercicio 4: Problemas de aplicación.

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 P1: P2

PONNENS (MTT)

P5: r MODUS PONNENDO P3,P4

PONNENS (MPP

P6: (p ᴧ r) ADJUCION (A) P1,P5

 10

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: Eblyn es buena estudiante

q: gana la materia de matemáticas

r: se prepara para el examen

[p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

Eblyn es buen estudiante. Eblyn gana la materia de matemáticas o Eblyn no es buen estudiante,

pero, si Eblyn gana la materia de matemáticas entonces se preparó para el examen, por la tanto,

Eblyn es buen estudiante y se preparó para el examen.

 11

Conclusiones

Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas

propiedades lógicas y semánticas de enunciados del lenguaje natural o de fórmulas del

lenguaje del cálculo proposicional

- Sin son tautológicas, contradictorias o contingentes

- Cuáles son sus condiciones de verdad

- Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y de qué

otras proposiciones se siguen lógicamente

El procedimiento para construir una tabla de verdad es sencillo y relativamente mecánico;

en esta plática, asumiré que todos saben ya cómo hacer una tabla de verdad para cualquier

fórmula del cálculo proposicional clásico. Para aplicar el método de tablas de verdad a un

enunciado o proposición, por lo tanto, es necesario primero simbolizarlo, es decir,

determinar qué fórmula del lenguaje proposicional muestra su forma lógica y, luego,

elaborar la tabla de verdad de dicha formula.

 12

Referencias Bibliográficas

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

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

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

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
 13

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