1

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

Lina Marcela Franco Rodríguez – Código 1054565315

Pensamiento Lógico y Matemático 200611

Grupo 289

Director-Tutor

Jilmer Alexi Caicedo Bello

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

La lógica es una disciplina fundamental en la búsqueda de la verdad y la toma de

decisiones informadas. En el vasto panorama del razonamiento humano, uno de los aspectos más

cruciales es la capacidad de evaluar la validez de los argumentos y las conclusiones que de ellos

se derivan. La razón y la argumentación sólida son herramientas esenciales para discernir entre la

lógica y la falacia, entre la verdad y el error.

En este contexto, los métodos para probar la validez de los argumentos se erigen como

piedras angulares del pensamiento lógico. A lo largo de este análisis, exploraremos cómo la lógica

se convierte en una guía valiosa para separar la razón de la irracionalidad, y cómo los métodos de

evaluación nos permiten desentrañar la estructura interna de los argumentos, en aras de descubrir

su solidez y fiabilidad.

En esta búsqueda de claridad y coherencia, nos adentraremos en el mundo de la

argumentación y las pruebas lógicas, un viaje que nos llevará a comprender mejor cómo discernir

las conclusiones válidas de las inválidas, y, en última instancia, cómo forjar un pensamiento

lógico más sólido y fundamentado.

 3

Objetivos

General

Aplicar los conceptos de las temáticas de la unidad 2 tarea 2 Métodos para probar la

validez de argumentos, explorando y comprendiendo los métodos utilizados en la lógica para

evaluar la validez de argumentos y discernir entre conclusiones válidas e inválidas, con el

propósito de promover un pensamiento lógico más sólido y fundamentado.

Objetivos Específicos

Analizar las bases teóricas de la lógica y su importancia en la toma de decisiones

racionales.
Identificar y explicar los diferentes tipos de argumentos, incluyendo los deductivos e
inductivos.
Estudiar los métodos formales de evaluación de argumentos, como la deducción lógica y
la aplicación de reglas y principios de inferencia.
 4

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

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

Proposiciones simples

A.

p: El estudio constante es clave para el éxito académico.

q: La disciplina en el estudio refuerza el aprendizaje.
r: El apoyo familiar motiva el esfuerzo del estudiante.

Lenguaje simbólico

p →(q ∧ r)

Lenguaje Natural

Si el estudio constante es clave para el éxito académico, entonces la disciplina en el estudio

refuerza el aprendizaje y el apoyo familiar motiva el esfuerzo del estudiante.

Tabla manual

p q r (q ∧ r ) p →(q ∧ r)
 5

V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V

El resultado es una contingencia.

Tabla de verdad Simulador UNAD

Link vídeo explicativo ejercicio 1: https://youtu.be/CtvpyHbaYEk?si=1Th4zobpH-y6r8ct

 6

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

Descripción del ejercicio:

A.

Si “me alimento saludablemente” o “hago ejercicio con regularidad”, entonces “tendré

mejor calidad de vida”. “No me alimento saludablemente”. Por lo tanto, “no hago ejercicio
con regularidad” o “no tendré mejor calidad de vida”.

Premisas que intervienen en el argumento.

p: Me alimento saludablemente

q: Hago ejercicio con regularidad

r: Tendré mejor calidad de vida

Conectores que intervienen en el argumento.

Los conectores del argumento son: Disyunción, (∨), condicional (→), Conjunción (∧) y

Negación ( )

Lenguaje simbólico correspondiente al argumento.

[ ( ( p v q ) → r ) Ʌ p ] →( q v r)
 7

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

Descripción del ejercicio:

A. Expresión simbólica

[( p →q ) ∧ q ] → p
 8

P 1: p →q
P 2: q
Conclusión: p
Ley utilizada Modus Tollendo Tollens (MTT)

Validez del argumento a través del simulador de lógica de la UNAD

Según la tabla de la verdad el argumneto es valido.

Ejercicio 4: Problemas de aplicación.

Descripción del ejercicio:

A.

Expresión simbólica:

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

 9

Proposiciones simples:

p: Lina estudia en el Cead de La Dorada

q: Lina pertenece a la zona occidente
r: Lina vive en La Dorada

Lenguaje Natural:

Si Lina estudia en el Cead de La Dorada entonces Lina pertenece a la zona occidente. Y

Lina estudia en el Cead de La Dorada y Lina vive en La Dorada. Y Si Lina pertenece a la
zona occidente entonces Lina vive en La Dorada.

En conclusión, Lina vive en La Dorada

Completar tabla de demostración de validez de argumento mediante leyes de inferencia

lógica:
 10

Conclusiones

Este trabajo ha abordado la importancia de los métodos para probar la validez de

argumentos y sus conclusiones en el contexto del pensamiento lógico. Hemos explorado la lógica

como una disciplina esencial para la toma de decisiones informadas y la búsqueda de la verdad, y

hemos analizado tanto los aspectos teóricos como prácticos de la evaluación de argumentos.

A través de la comprensión de los diferentes tipos de argumentos y la aplicación de

métodos formales e informales, se ha destacado la importancia de desarrollar habilidades de

pensamiento crítico y lógico en la vida cotidiana. Al dominar estos métodos, los individuos

pueden discernir entre argumentos sólidos y falaces, lo que les permite tomar decisiones más

fundamentadas y racionales. En última instancia, este conocimiento contribuye no solo al

desarrollo de la capacidad de razonar con claridad, sino también a la mejora de la calidad de

nuestras decisiones y la promoción de un pensamiento lógico más sólido en la sociedad.

 11

Referencias Bibliográficas

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

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