1

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

Angie Lorena Suarez Cardozo – Código 200611_3062

Pensamiento Lógico y Matemático 200611

Grupo 200611E_1701

Director-Tutor

Kimberly Lucia Antolínez Ramírez

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

La lógica proposicional es un campo fundamental en el estudio del razonamiento y la

argumentación. Se centra en el análisis de proposiciones, las cuales son afirmaciones que pueden

ser verdaderas o falsas, y en la manera en que estas se combinan para formar argumentos sólidos.

A través de herramientas como las tablas de verdad y las reglas de la inferencia lógica, la lógica

proposicional permite no solo comprender la estructura interna de los argumentos, sino también

evaluar su validez y extraer conclusiones de manera sistemática.

En esta discusión, exploraremos varios aspectos clave de la lógica proposicional y su

aplicación práctica. Comenzaremos examinando las características fundamentales de las

proposiciones y cómo se relacionan entre sí mediante operadores lógicos. Luego, nos

sumergiremos en el mundo de las tablas de verdad, herramientas esenciales que nos permiten

determinar el valor de verdad de proposiciones complejas.

Posteriormente, abordaremos la aplicación de la lógica fundamental en diversos contextos,

desde la informática hasta la filosofía, destacando su papel en el razonamiento válido y la toma de

decisiones informadas. Además, exploraremos cómo demostrar la validez de un argumento

utilizando las reglas de la inferencia lógica, un proceso que garantiza conclusiones sólidas basadas

en premisas aceptadas.
 3

Finalmente, nos sumergiremos en problemas de aplicación que desafían a los estudiantes y

profesionales a aplicar los conceptos teóricos de la lógica proposicional en contextos prácticos,

fortaleciendo así su comprensión y habilidades de pensamiento crítico.

A lo largo de este recorrido, quedará claro que la lógica proposicional es una herramienta

poderosa y versátil que no solo amplía nuestra comprensión del razonamiento humano, sino que

también nos capacita para analizar argumentos, identificar falacias y tomar decisiones

fundamentadas en una variedad de campos y situaciones.

 4

Objetivos

General

Comprender los fundamentos de la lógica proposicional. Este objetivo busca que los

participantes adquieran una comprensión sólida de los conceptos básicos de la lógica

proposicional, incluyendo proposiciones simples, operadores lógicos y proposiciones compuestas.

Aplicar las tablas de verdad para evaluar proposiciones compuestas. El objetivo es que los

participantes sean capaces de construir y utilizar tablas de verdad para determinar el valor de

verdad de proposiciones compuestas, identificando así su validez lógica.

Aplicar la lógica fundamental en diferentes contextos. Este objetivo busca que los

participantes puedan aplicar los principios de la lógica proposicional en diversos contextos,

incluyendo la informática, la argumentación filosófica y la resolución de problemas prácticos.

Demostrar argumentos utilizando reglas de inferencia lógica. El objetivo es que los

participantes desarrollen habilidades para demostrar la validez de argumentos utilizando reglas de

inferencia lógica, garantizando así conclusiones válidas basadas en premisas aceptadas.

Resolver problemas de aplicación utilizando la lógica proposicional. Este objetivo busca

que los participantes puedan aplicar los conceptos y herramientas de la lógica proposicional para

resolver problemas prácticos en diferentes áreas, fortaleciendo así su capacidad de pensamiento

crítico y análisis.
 5

Específicos

Identificar proposiciones simples y compuestas. Los participantes podrán distinguir entre

proposiciones simples y compuestas, así como identificar los operadores lógicos que las conectan.

Construir tablas de verdad. Los estudiantes serán capaces de construir tablas de verdad

para proposiciones compuestas, determinando el valor de verdad de cada combinación de

proposiciones simples.

Evaluar la validez de argumentos. Se espera que los participantes puedan utilizar reglas de

inferencia lógica para evaluar la validez de argumentos dados, demostrando así su habilidad para

llegar a conclusiones lógicamente válidas.

Aplicar la lógica en diferentes contextos. Los estudiantes podrán aplicar los conceptos de

la lógica proposicional en diversos contextos, como la programación de computadoras, la

argumentación filosófica y la toma de decisiones cotidiana.

Resolver problemas de aplicación práctica. Los participantes podrán resolver problemas

prácticos utilizando la lógica proposicional, desarrollando así habilidades de resolución de

problemas y pensamiento crítico.

Identificar falacias lógicas. Se espera que los estudiantes puedan identificar falacias

comunes en el razonamiento y argumentación, demostrando una comprensión profunda de los

principios lógicos y su aplicación en la vida cotidiana.

 6

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución 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)

Solución:

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

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

 7

Tabla manual de verdad: r ∧ (s → ~t)

r s t ~t s → ~t r ∧ (s → ~t)

1 V V V F V V

2 V V F V V V

3 V F V F F F

4 V F F V V V

5 F V V F V F

6 F V F V V F

7 F F V F F F

8 F F F V V F

La tabla de verdad queda identificada como contradicción.

 8

Link vídeo explicativo ejercicio 1: https://www.youtube.com/watch?v=dW14OqFVrHg

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

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.

Espacio para solución del ejercicio 2

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

P: Las TIC son fundamentales para el procesamiento de datos en aplicación de IA

R: Las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos

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

Identificar los conectores que intervienen en el argumento.

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.

 9

Construir el lenguaje simbólico correspondiente al argumento.

P: Las TIC son fundamentales para el procesamiento de datos en aplicación de IA

R: Las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos

S: Las TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos

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

(p→r) ↔ (s∧t)

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

de tablas de verdad de la UNAD.

La tabla de verdad queda identificada como contradicción.

 10

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

Espacio para solución del ejercicio 3

Expresión simbólica [(p∨ r) ∧ (p → t) ∧ (r →s)]→ (t ∨ 𝑠)

P1: p∨ r

P2: p→t

P3: r →s

Conclusión t∨𝑠

ley utilizada Silogismo Disyuntivo

 11

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

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, P4

P6: ~p Ley de la negación P4, P5

P7: ~p v q LEY DE ADICION P6, P3

p: Juan Diego juega en el parque de su colegio

q: El profesor enseña voleibol en el colegio

r: En el supermercado se agotó la leche

[(p→∼q) ∧ (∼q →r) ∧ (q ∧ ∼r)]→ (∼p ˅ q)

Si Juan Diego juega en el parque de su colegio entonces el profesor NO enseña voleibol en el

colegio, Y el profesor NO enseña voleibol en el colegio entonces en el supermercado se agotó la

leche, Y el profesor enseña voleibol en el colegio Y en el supermercado NO se agotó la leche

entonces (En conclusión) Juan Diego NO juega en el parque de su colegio O el profesor enseña

voleibol en el colegio
 12

Conclusiones

Del presente trabajo podemos concluir:

Las proporciones son afirmaciones que pueden ser verdaderas o falsas, pero no ambas al

mismo tiempo. Son la base fundamental de la lógica proporcional, permitiendo el análisis y la

manipulación de argumentos.

Las tablas de verdad son herramientas útiles para determinar el valor de verdad en una

proposición compuesta en función de los valores de verdad, gracias a esto nos facilita la

comprensión de la lógica detrás de expresiones complejas y son fundamentales para la resolución

de problemas lógicos.

La lógica fundamental para el razonamiento valido y la toma de decisiones informadas en

diversos contextos. Su aplicación permite evaluar la critica de los argumentos, la identificación de

falacias y la construcción de argumentos sólidos.

En los problemas de aplicación en lógica proposicional se logró conocer las facilidades

que le permiten a los estudiantes y profesionales el desarrollar habilidades para resolver

situaciones complejas. Estos problemas ayudan ofreciendo oportunidades para aplicar los

conceptos teóricos en contextos prácticos, logrando así fortalecer la comprensión y el pensamiento

crítico.

En resumen, gracias a la aplicación de la lógica matemática en este trabajo logramos

aprender a solucionar diferentes problemas partiendo de la lógica y su aplicación.

 13

Referencias Bibliográficas

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

https://youtu.be/gmETuDYXsoQ?si=h8F5H9JSkZQ1bJLX

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://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59