1

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

José David Montes Martínez – código: 200611A_1701

Pensamiento Lógico y Matemático 200611

Grupo: 200611_365

Director-Tutor

Mary Elsy Arzuaga Ochoa

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 2

Introducción

El propósito de este trabajo es probar la validez de argumentos haciendo uso de las leyes

de inferencia y las tablas de verdad, así mismo hacer uso del pensamiento lógico para la solución

de problemas. También hacer un análisis lógico de las diferentes premisas y llegar a una

conclusión por medio del pensamiento lógico, el cual nos permite analizar, diferenciar, comparar,

relacionar y buscar solución a los diferentes planteamientos.

 3

Objetivos

General

Estudiar los conceptos básicos de la lógica proposicional y la teoría de conjuntos que

permitan verificar la verdad o falsedad de las proposiciones

Específicos

 Probar la valides de argumentos por medio de las leyes de inferencia

 Generar tablas de verdad

 Reconocer las reglas de cada uno de los conectores (o, y, negación, condicional,

bicondicional)

 Reconocer las leyes de inferencia en las expresiones simbólicas

 4

Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el desarrollo

del ejercicio.

1. E:

r: Los algoritmos de aprendizaje automático se implementan con frecuencia en lenguajes

como Python.

s: Los algoritmos se benefician de los lenguajes de programación de alto nivel para el

desarrollo de la IA.

t: Python es altamente utilizado para el análisis minucioso de datos.

r ∧ ( s ⟶ ∼t )

Lenguaje natural:

Los algoritmos de aprendizaje automático se implementan con frecuencia en lenguajes como

Python, y, si, los algoritmos se benefician de los lenguajes de programación de alto nivel para

el desarrollo de la IA, entonces, Python no es altamente utilizado para el análisis minucioso

de datos.

Tabla de verdad manual

r ∧ ( s →∼ t )

R s t ∼t ( s →∼ t ) r ∧ ( s →∼ t ) Formula:
V V V F F F El número de filas es 2n
V V F V V V donde n es el número de
V F V F F proposiciones simples
V F F V F 3
2 =2 x 2 x 2=8
F V V F F F
 5

F V F V V F

F F V F F F

F F F V F F

La tabla de verdad es: una

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

E. Si las TIC son fundamentales para el procesamiento de datos en aplicaciones de IA, entonces

las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos, si y solo

si, las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos Y las

TIC son utilizadas en la industria para aumentar la eficiencia.

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

r: las TIC son fundamentales para el procesamiento de datos en aplicaciones de IA.

 6

s: las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos.

t: las TIC son utilizadas en la industria para aumentar la eficiencia.

 Identificar los conectores que intervienen en el argumento.

Los conectores que intervienen en el argumento son: → ( si .. entonces ), ↔ ( si y solo si ) ,

conjuncion ∧ ( y )

 Construir el lenguaje simbólico correspondiente al argumento.

(r→(s⟷ s) ∧ t )
 Determine si el argumento es una tautología, contradicción o contingencia a través del

simulador de la UNAD

La tabla de verdad es: una contingencia

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

E. Expresión simbólica

[ ( p ∨ r ) ∧ ( p → t ) ∧ (r → s) ] → ( t ∨ s)
P1: p ∨r

P2: p →t
 7

P3: r →s

Conclusión t∨s

Ley utilizada Modus ponens

Ejercicio 4: Problemas de aplicación.

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

Demostración

p1: ( p →∼ q )

p2: ( ∼ q → r ) Premisas dadas

p3:( q ∧ ∼ r )

Premisas Ley aplicada Premisas usadas

p4: ( p → r ) Silogismo hipotético P1, P2

p5: ∼ r LEY DE SIMPLIFICACION P3: (q^~r)

Definición de proposiciones simples

Lenguaje natural
 8

Conclusiones

 Aprendí a generar las tablas de verdad

 Entendí como hacer uso de las leyes de inferencia para probar la validez de un argumento

o conclusión

 Con las explicaciones dadas por el tutor fue mucho mas sencillo la profundidad del tema

 De la forma en la que el tutor nos guio para que hiciéramos la tarea semana a semana me

facilito el desarrollo y la comprensión del tema

 9

Referencias Bibliográficas

https://www.youtube.com/watch?v=K5PhWAy7zA0

https://www.youtube.com/watch?v=p2hDKNLCO0Y

https://www.youtube.com/watch?v=0hP9YtwhGvY

https://www.youtube.com/watch?v=zVoumrrzNDU

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

Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje OVA].

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