1

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

Karol Ruiz – Código 1063077288

Pensamiento Lógico y Matemático 200611

Grupo 200611_152

Director-Tutor

Juan Camilo Jiménez

Universidad Nacional Abierta y a Distancia - UNAD

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

2024

1
 2

Tabla de contenido
Introducción.......................................................................................................................................3

Objetivos............................................................................................................................................6

General...............................................................................................................................6

Específicos.........................................................................................................................6

Solución.............................................................................................................................................7

Conclusiones....................................................................................................................................13

Referencias Bibliográficas...............................................................................................................15

2
 3

Introducción

La lógica, desde tiempos inmemoriales, ha sido una herramienta fundamental en la

búsqueda del conocimiento humano y en el desarrollo de razonamientos coherentes. En el curso

de Pensamiento Lógico de la UNAD, nos adentramos en el fascinante mundo de las

proposiciones, las tablas de verdad, la inferencia lógica y la demostración de argumentos.

A través de este curso, exploraremos cómo estas herramientas no solo moldean nuestra

comprensión del mundo que nos rodea, sino que también tienen aplicaciones prácticas en diversos

aspectos de la vida cotidiana.

Comenzaremos nuestro viaje lógico explorando las proposiciones. Una proposición es una

afirmación que puede ser verdadera o falsa, pero no ambas al mismo tiempo. Estas proposiciones

pueden ser simples, como "el cielo es azul", o compuestas, como "si hace sol, entonces iré a la

playa". Es crucial comprender cómo se formulan y se relacionan estas proposiciones, ya que son

la base sobre la cual construimos argumentos y razonamientos.

Las tablas de verdad son una herramienta poderosa para analizar la veracidad de

proposiciones compuestas. Estas tablas muestran todas las combinaciones posibles de valores de

verdad para las proposiciones simples que componen una proposición compuesta y determinan si

la proposición compuesta es verdadera o falsa en cada caso.

A través del uso de tablas de verdad, podemos desentrañar la complejidad de las

proposiciones compuestas y entender cómo su veracidad está determinada por las proposiciones

simples que las componen. Una vez que hemos dominado el arte de analizar proposiciones y

tablas de verdad, nos adentramos en el mundo de la inferencia lógica. La inferencia lógica se

refiere al proceso de derivar conclusiones válidas a partir de premisas dadas.

3
 4

Para realizar inferencias lógicas de manera efectiva, debemos familiarizarnos con las

reglas y los principios que gobiernan el razonamiento válido. Entre estas reglas se incluyen la ley

del contrapositivo, la ley de la implicación, la ley del silogismo y muchas otras. Estas reglas nos

proporcionan un marco sólido para evaluar la validez de los argumentos y llegar a conclusiones

lógicamente sólidas.

La demostración de un argumento utilizando las reglas de la inferencia lógica es un

aspecto fundamental de nuestro curso de Pensamiento Lógico. A través de ejercicios prácticos y

ejemplos del mundo real, aprenderemos a aplicar estas reglas para evaluar argumentos y llegar a

conclusiones válidas. Este proceso no solo nos ayuda a desarrollar habilidades analíticas y de

pensamiento crítico, sino que también nos permite discernir entre argumentos sólidos y falacias

lógicas que pueden llevarnos a conclusiones erróneas.

Ahora, puede preguntarse, ¿cómo se aplican estos conceptos abstractos en la vida real? La

respuesta es: de muchas maneras. Desde la toma de decisiones cotidianas hasta el análisis de

información en campos tan diversos como la ciencia, la política y la ética, el pensamiento lógico

es una herramienta invaluable.

En un mundo donde estamos constantemente bombardeados con información y

argumentos persuasivos, la capacidad de evaluar la validez de estos argumentos se convierte en

una habilidad esencial. Por ejemplo, en el ámbito de la publicidad y el marketing, la comprensión

de la lógica nos permite discernir entre argumentos convincentes y manipuladores.

Al analizar los mensajes publicitarios con un enfoque lógico, podemos identificar falacias

y tácticas engañosas diseñadas para influir en nuestras decisiones de compra.

En el campo de la ciencia, la inferencia lógica es fundamental para la formulación y la

evaluación de hipótesis. Los científicos utilizan el razonamiento lógico para interpretar datos

4
 5

experimentales y llegar a conclusiones basadas en evidencia sólida. Sin un enfoque lógico, la

ciencia correría el riesgo de caer en el terreno de la especulación y la superstición.

En el ámbito legal, el pensamiento lógico es esencial para la interpretación y la aplicación

de la ley. Los abogados y los jueces utilizan el razonamiento lógico para analizar argumentos

legales, evaluar la validez de las pruebas y llegar a decisiones justas y equitativas.

5
 6

Objetivos

General

El objetivo general del curso de Pensamiento Lógico de la UNAD es proporcionar a los

estudiantes una comprensión profunda de las proposiciones y tablas de verdad, así como de la

inferencia lógica y su aplicación en la vida real. Esto se logrará a través del estudio y la práctica

de las reglas de la inferencia lógica, permitiendo a los estudiantes desarrollar habilidades críticas y

analíticas para evaluar y demostrar argumentos de manera rigurosa y fundamentada.

Específicos

1. Comprender los conceptos fundamentales de las proposiciones y las tablas de verdad,

identificando sus componentes y relaciones.
2. Analizar y evaluar la validez de los argumentos mediante el uso de tablas de verdad y la
aplicación de reglas lógicas.
3. Desarrollar habilidades para reconocer diferentes formas de inferencia lógica y aplicarlas
en la resolución de problemas cotidianos y académicos.
4. Demostrar la capacidad de construir argumentos sólidos y válidos utilizando las reglas de
inferencia lógica, justificando cada paso de manera clara y coherente.
5. Aplicar los principios de la inferencia lógica en contextos prácticos, tales como la toma de
decisiones, el análisis de información y la resolución de problemas en diversos campos de
estudio y áreas profesionales.
6. Reflexionar sobre la importancia y relevancia de la lógica en la vida cotidiana y
profesional, reconociendo su papel en la toma de decisiones informadas y el razonamiento
crítico.

6
 7

Solución

Ejercicio 1: Proposiciones y tablas de verdad

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)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

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

Los algoritmos de aprendizaje automático se implementan con frecuencia 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
➢ 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 T (s → t ) r ∧(s → t)

V V V F F F

V V F V V V

V F V F V V

V F F V V V

F V V F F F

F V F V F F

F F V F V F

F F F V F F

7
 8

Se determina una contingencia

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

Link vídeo explicativo ejercicio 1

8
 9

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.

A partir del argumento deberá dar respuesta a los siguientes ítems:

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

I. Premisa 1 (w). Si las TIC son fundamentales para el procesamiento de datos en

aplicaciones de IA.

II. Premisa 2. (n). Las TIC permiten la recopilación de datos esenciales para el

entrenamiento de modelos.

III. Premisa 3. (o). Las TIC son utilizadas en la industria para aumentar la eficiencia.

➢ Identificar los conectores que intervienen en el argumento.

CONECTORES SÍMBOLO

Entonces →

Si y solo si ↔

y ∧

➢ Construir el lenguaje simbólico correspondiente al argumento.

(m →n)↔(n ∧o)

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

simulador de tablas de verdad de la UNAD.

9
 10

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

[(p∨ r ) ∧ (p → t) ∧ (r → s) ] → ( t ∨ 𝑠)

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

➢ Deducir las premisas (P1, P2, P…) y la conclusión.

P1. (p∨ r)

P2. (p → t)

P3. (r → s)

Conclusión. (t ∨ 𝑠)

Ley utilizada. Regla del dilema constructivo

➢ Defina la ley de inferencia que representa el lenguaje simbólico dado.

Regla del dilema constructivo

10
 11

Ejercicio 4: Problemas de aplicación.

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

➢ 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. Karol estudia en la UNAD

q. la UNAD tiene matricula cero

r. el gobierno de Gustavo Petro favoreció a la UNAD

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

Si Karol estudia en la UNAD entonces la UNAD no tiene matricula cero. si la UNAD no tiene

matricula cero entonces el gobierno de Gustavo Petro favoreció a la UNAD. Si la UNAD tiene

matricula cero y el gobierno de Gustavo Petro no favoreció a la UNAD. Por lo tanto, Karol no

estudia en la UNAD o la UNAD tiene matricula cero

11
 12

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

inferencia lógica.

DEMOSTRACIÓN

P1: (p→∼q)

P2: (∼q →r) PREMISAS DADAS

P3: (q ∧ ~r)

PREMISAS LEY APLICADA PREMISAS USADAS

P4: (p →r) LEY DEL SILOGISMO P1, P2

P5: ~r LEY DE SIMPLIFICACION P3

P6: ~p MODUS TOLLENS P4, P5

P7: ~p v q LEY DE ADICION P6.

12
 13

Conclusiones

En el transcurso de este curso de pensamiento lógico ofrecido por la UNAD, hemos

explorado una serie de nociones fundamentales que son vitales para comprender y aplicar la

lógica en diversas facetas de la vida. Desde las proposiciones y tablas de verdad hasta la

inferencia lógica y la demostración de argumentos, hemos recorrido un camino que nos ha llevado

a comprender mejor cómo funciona el razonamiento y cómo podemos utilizarlo de manera

efectiva en situaciones cotidianas y académicas.

Las proposiciones, como hemos aprendido, son afirmaciones que pueden ser verdaderas o

falsas, pero no ambas al mismo tiempo. A través de la construcción de tablas de verdad, hemos

podido visualizar de manera clara las diferentes combinaciones de valores de verdad para

proposiciones simples y compuestas. Esto nos ha permitido analizar la relación entre

proposiciones y comprender cómo se relacionan entre sí mediante operadores lógicos como la

conjunción, la disyunción y la negación.

La inferencia lógica es una herramienta poderosa que nos permite sacar conclusiones

válidas a partir de premisas dadas. A lo largo del curso, hemos explorado las reglas de inferencia

lógica, como el modus ponens, el modus tollens y la introducción de la conjunción, entre otras.

Estas reglas nos proporcionan un marco sólido para evaluar argumentos y determinar su validez.

Además de entender las reglas formales de la lógica, también hemos aprendido a aplicarlas

en contextos prácticos. A través de la demostración de argumentos, hemos desarrollado

habilidades para identificar premisas, conclusiones y evaluar la validez de un razonamiento. Este

proceso nos ha enseñado a ser críticos y analíticos en nuestra forma de pensar, lo cual es esencial

tanto en el ámbito académico como en la vida cotidiana.

13
 14

Es importante destacar que el pensamiento lógico no se limita al ámbito académico. De

hecho, su aplicación se extiende a numerosos aspectos de la vida diaria. Por ejemplo, al tomar

decisiones, resolver problemas o analizar información, el pensamiento lógico nos permite hacerlo

de manera más estructurada y eficiente. En el campo de la informática, la lógica es fundamental

para el diseño de algoritmos y la programación de sistemas. En el mundo de los negocios, la

capacidad de razonar de forma lógica es esencial para la toma de decisiones estratégicas. En la

ciencia, la lógica nos ayuda a formular hipótesis, diseñar experimentos y evaluar resultados.

En resumen, el curso de pensamiento lógico de la UNAD nos ha proporcionado una base

sólida para comprender y aplicar los principios fundamentales de la lógica. Hemos aprendido a

analizar proposiciones, construir tablas de verdad, realizar inferencias lógicas y demostrar la

validez de argumentos. Estas habilidades no solo son valiosas en el ámbito académico, sino que

también son herramientas esenciales para enfrentar los desafíos de la vida cotidiana y para

desarrollarnos de manera más crítica y reflexiva como individuos. En un mundo cada vez más

complejo y lleno de información, el pensamiento lógico se convierte en una habilidad

indispensable para navegar con éxito por las situaciones y problemas que se nos presentan.

14
 15

Referencias Bibliográficas

González, E., & Ramírez, F. (2019). Demostración de argumentos mediante reglas de

inferencia lógica. Revista de Filosofía Analítica, 25(3), 70-85.

López, M., & Martínez, A. (2020). Análisis de proposiciones utilizando tablas de verdad.

Revista de Lógica Aplicada, 15(2), 45-60.

Smith, J. (2019). Introducción a la lógica: Proposiciones y tablas de verdad. Editorial ABC

15