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

Luis Fernando Montenegro Oviedo – Código 1.036.638.472

Pensamiento Lógico y Matemático 200611

Grupo 1375

Director-Tutor

Juan Carlos Mosquera

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 Introducción

En la actividad a desarrollar abordaremos los métodos para comprobar la validez de un

argumento, teniendo en cuenta que se componen de premisas y conclusiones para así traducir

desde un lenguaje natural al simbólico o viceversa y poder identificar si es una proposición

simple o compuesta, aplicando la ley de inferencia adecuada.

 Objetivos

General

Tener claros los conceptos fundamentales y comprender la importancia de la lógica

proposicional, las leyes de inferencia y creación de tablas de la verdad a la hora de aplicarlos para

la resolución de problemas

Específicos

Conocer los conectores lógicos como la conjunción, disyunción, condicional entre otros,

para la creación de tablas de la verdad

Generar una tabla de la verdad y comprender el resultado para hallar la validez de un

argumento.

Identificar las preposiciones lógicas como lo es la simple y la preposición compuesta.

Entender cuando el resultado de una tabla de la verdad en su lenguaje simbólico es una

tautología, contingencia o contradicción

Aprender a utilizar el simulador de tablas de la verdad (online) para verificar resultados

Saber aplicar la ley de inferencia a partir de una expresión simbólico y premisas dadas.
Ejercicio 1: Proposiciones y tablas de verdad

Letra D.

r: El agua es más denso que el hierro.

s: El hierro es un mineral que se encuentra en cada célula del cuerpo.

t: El cuerpo humano necesita hierro para producir las proteínas hemoglobina.

𝒕 → (𝒔 ∧ ∼ 𝒓)

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

Si el cuerpo humano necesita hierro para producir las proteínas hemoglobina entonces el hierro es

un mineral que se encuentra en cada célula del cuerpo y el agua no es más denso que el hierro

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

r s t ∼r s ∧ ∼r t→(s∧∼r)

V V V F F F

V V F F F V

V F V F F F

V F F F F V

F V V V V V

F V F V V V

F F V V F F

F F F V F V
➢ Generar la tabla de verdad a través del simulador tablas de verdad.

𝒕 → (𝒔 ∧ ∼ 𝒓) Es una contingencia

➢ Link vídeo explicativo ejercicio 1:

https://youtu.be/vFp7Gx8eJvk?si=PekcQ6rzxwM5CRzn

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

Si La ingeniería es el uso de principios científicos, entonces, la ingeniería aprovecha el cúmulo de

conocimientos tecnológicos para la innovación y no es cierto que los ingenieros no se apoyan en

las ciencias básicas.

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

p: La ingeniería es el uso de principios científicos

q: la ingeniería aprovecha el cúmulo de conocimientos tecnológicos para la innovación

r: los ingenieros no se apoyan en las ciencias básicas.

➢ Identificar los conectores que intervienen en el argumento

→ (condicional), ∧ (conjunción) ∼ (negación)

➢ Construir el lenguaje simbólico correspondiente al argumento

𝒑 → (𝒒 ∧ ¬(¬𝒓))

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

simulador de tablas de verdad

p→ (q∧ ∼r) Es una contingencia

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

D. Expresión simbólica [s] → (s ∨ r) `

P1: [s]

Conclusión: (s ∨ r)

Ley utilizada: Adición, P1

Ejercicio 4: Problemas de aplicación.

D. Expresión simbólica: [(s → r) ∧ (s ∨ p) ∧ (∼p)] → (r ∨ q)

Premisas dadas:

P1: s → r

P2: s ∨ p

P3: ∼p

➢ Definir las proposiciones simples

• S: La selección Colombia gana el partido.

• R: obtiene 3 puntos

• P pierde el partido

• Q: Clasifica a la final

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

Si la selección Colombia gana el partido. Entonces obtiene 3 puntos y la selección Colombia gana

el partido o pierde el partido y no pierde el partido. Por lo tanto, obtiene 3 puntos o clasifica a la

final
➢ Completa tabla de demostración de la validez del argumento mediante leyes de

inferencia lógica

Premisas Ley Aplicada Premisas ¿Correcto o Justificación

Usadas Incorrecto?

P4: s MTP P2, P3 Correcto Se aplica MTP

ya que se niega

el antecedente

con disyunción

P5: r MPP P6, P6 Incorrecto Si se aplica ley

MPP, pero con

las P1 y P4

P6: r ∨ q Adición P1 Incorrecto Si se aplica la

ley de adición

pero con la P5
 Conclusiones

Con la realización de esta actividad las conclusiones que podemos sacar es que para

realizar una tabla de la verdad es indispensable identificar e interpretar las proposiciones simples

o compuestas y sus conectores lógicos y que, con la ayuda de las leyes de inferencia podemos

demostrar la validez de un argumento de forma fácil y ordenada

 Referencias Bibliográficas

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

Castaño, C. (2024). Leyes de la inferencia lógica. [Objeto_virtual_de_aprendizaje_OVA].

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

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