1
Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos
Pepita Pérez – Código 1234567 (Ejemplo nombre del estudiante)
Pensamiento Lógico y Matemático 200611
Grupo xx (Ejemplo grupo)
Director-Tutor
Lupita Fernandez (Ejemplo nombre del tutor)
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2023
2
Introducción
Con la realización del presente trabajo, me propongo empezar mi proceso formativo en el
área del pensamiento lógico y matemático, muy importante, ya que me ayudara a mejorar mis
procesos cognitivos y metacognitivos, mediante el desarrollo de diversas técnicas y estrategias,
con las cuales se probaran la validez de diversos argumentos, mediante la implementación de
diversas aplicaciones de lógica fundamental, proposiciones y tablas de verdad, demostraciones de
argumentos mediante el uso de reglas de inferencia lógica.
Para esto y desde el ámbito del pensamiento lógico y matemático, la capacidad para
analizar y evaluar argumentos es fundamental. La lógica proporciona un marco de referencia
sólido para examinar la validez de los razonamientos y las inferencias que se presentan en
diversos contextos. En este sentido, existen varios métodos y técnicas que nos permiten probar la
validez de los argumentos y verificar si las conclusiones que se derivan de ellos son lógicamente
válidas. En esta tarea, exploraremos cuatro ejercicios que abordan diferentes aspectos de esta
disciplina, cada uno de los cuales contribuye a fortalecer nuestras habilidades de razonamiento
lógico y análisis matemático.
Ejercicio 1: Proposiciones y Tablas de Verdad
El primer ejercicio se centra en el concepto de proposiciones y su relación con las tablas
de verdad. Una proposición es una afirmación que puede ser verdadera o falsa, y las tablas de
verdad son herramientas que nos permiten determinar la verdad o falsedad de una proposición en
función de los valores de verdad de sus componentes. En este ejercicio, nos enfrentaremos a una
serie de proposiciones y utilizaremos tablas de verdad para analizar su validez lógica. Este
3
proceso nos ayudará a comprender cómo se combinan y relacionan las proposiciones en un
argumento y cómo podemos determinar la verdad o falsedad de sus conclusiones mediante un
análisis sistemático de sus componentes.
Ejercicio 2: Aplicación de la Lógica Fundamental
El segundo ejercicio se enfoca en la aplicación de los principios fundamentales de la
lógica, como la ley de identidad, la ley de no contradicción y la ley del tercero excluido. Estos
principios establecen las reglas básicas que rigen el razonamiento válido y nos permiten discernir
entre argumentos lógicamente válidos e inválidos. En este ejercicio, analizaremos una serie de
argumentos y aplicaremos estos principios para determinar su validez lógica. Al comprender y
aplicar estas leyes fundamentales, desarrollaremos una base sólida para evaluar argumentos en
diversos contextos y fortaleceremos nuestra capacidad para detectar falacias y errores de
razonamiento.
Ejercicio 3: Demostración de un Argumento usando las Reglas de la Inferencia
Lógica
El tercer ejercicio se centra en la demostración de un argumento utilizando las reglas de la
inferencia lógica. La inferencia lógica es el proceso mediante el cual se deriva una conclusión a
partir de premisas dadas, siguiendo reglas y patrones de razonamiento válidos. En este ejercicio,
nos enfrentaremos a un argumento y utilizaremos reglas de inferencia como la modus ponens, el
modus tollens y el silogismo hipotético para demostrar la validez de su conclusión. Al aplicar
estas reglas de manera sistemática y rigurosa, podremos validar el argumento y llegar a una
conclusión lógicamente sólida.
4
Ejercicio 4: Problemas de Aplicación
El cuarto y último ejercicio consiste en resolver problemas de aplicación que requieren la
aplicación de los conceptos y técnicas aprendidas en los ejercicios anteriores. Estos problemas nos
desafiarán a analizar argumentos complejos, identificar premisas implícitas y aplicar reglas de
inferencia de manera efectiva para llegar a conclusiones válidas. Al enfrentarnos a estos
problemas, pondremos a prueba nuestra capacidad para aplicar el pensamiento lógico en
situaciones del mundo real y fortaleceremos nuestra habilidad para resolver problemas de manera
sistemática y ordenada.
Estos cuatro ejercicios nos brindarán la oportunidad de explorar y practicar diferentes
aspectos del pensamiento lógico y matemático, desde el análisis de proposiciones hasta la
demostración de la validez de argumentos utilizando reglas de inferencia. A través de este
proceso, fortaleceremos nuestras habilidades de razonamiento lógico, mejoraremos nuestra
capacidad para evaluar argumentos de manera crítica y nos prepararemos para enfrentar desafíos
intelectuales más complejos en el futuro
5
6
Objetivos
General
Evaluar la efectividad de los métodos para probar la validez de argumentos en el
desarrollo del pensamiento lógico y matemático.
Específicos
Analizar la relación entre proposiciones y tablas de verdad como herramientas para
determinar la validez lógica de argumentos.
Aplicar los principios fundamentales de la lógica, como la ley de identidad y la ley del
tercero excluido, en la evaluación de argumentos.
Utilizar reglas de inferencia lógica, como el modus ponens y el silogismo hipotético, para
demostrar la validez de conclusiones derivadas de premisas dadas.
7
Ejercicio 1: Proposiciones y tablas de verdad
B. p: La IA está transformando la industria al permitir la automatización en los procesos de
producción.
q: La IA está automatizando los procesos de control de calidad.
r: La IA está mejorando la eficiencia al predecir la demanda en la gestión de inventario.
Si La IA está transformando la industria al permitir la automatización en los procesos de
producción y La IA está automatizando los procesos de control de calidad; si y solo si, La IA está
automatizando los procesos de control de calidad o La IA está mejorando la eficiencia al predecir
la demanda en la gestión de inventario.
( p Ʌ q)↔(q ꓦ r)
( p Ʌ q)↔(q ꓦ r)
p q r ( p Ʌ q) (q ꓦ r )
V V V V V V
V V F V V V
V F V F V F
V F F F F V
F V V F V F
F V F F V F
F F V F V F
F F F F F V
8
El ejercicio corresponde a una contingencia
Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Ejercicio 2: Aplicación de la lógica fundamental
B. La actualización del software es necesario para remediar vulnerabilidades de seguridad O la
copia de seguridad periódica es esencial para la recuperación de información entonces, la
actualización del software NO es necesario para remediar vulnerabilidades de seguridad Y la
encriptación de datos es esencial para proteger la confidencialidad de la información.
p= La actualización del software es necesario para remediar vulnerabilidades de seguridad.
q= la copia de seguridad periódica es esencial para la recuperación de información
r= la encriptación de datos es esencial para proteger la confidencialidad de la información
9
( p V q ) →( p Ʌ r)
( p V q ) →( p Ʌ r)
p q r ~p ( p V q) ( p Ʌr)
V V V F V F F
V V F F V F F
V F V F V F F
V F F F V F F
F V V V V V V
F V F V V F F
F F V V F V V
F F F V F F V
El ejercicio corresponde a una contingencia
10
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
B. Expresión simbólica
(∼r ᴧ s)→ ∼r
P1: (∼ r ᴧ s)→ ∼ r
Conclusión: ∼r
Ley utilizada: Ley de simplificación
Ejercicio 4: Problemas de aplicación.
Espacio para solución del ejercicio 4
B. Expresión simbólica:
[( p → q)∧(q → r )∧ q ∧( r ∨ q)]→( p ᴧ r )¿
DEMOSTRACIÓN
P1: ( p → q)
P2: (q → r )
PREMISAS DADAS
P3: q
P4: ( r ∨ q)
PREMISA LEY APLICADA PREMISAS USADAS
P5: ( p →r ) Silogismo hipotético P1, P2
P6: ~r Modus Tollendo Ponens P3, P4
P7: ~p Modus Tollendo Ponens P5, P6
P8: ( p → r ) Ley de Adjunción (LA) P6, P7
11
Conclusiones
Luego de haber hecho el presente trabajo he podido concluir:
La evaluación de la efectividad de los métodos para probar la validez de argumentos en el
desarrollo del pensamiento lógico y matemático es crucial para comprender cómo estos métodos
impactan en el razonamiento y la resolución de problemas en diversas áreas.
El análisis de la relación entre proposiciones y tablas de verdad revela cómo estas
herramientas son fundamentales para determinar la validez lógica de argumentos, proporcionando
una base sólida para el desarrollo del pensamiento lógico.
La aplicación de los principios fundamentales de la lógica, como la ley de identidad y la
ley del tercero excluido, en la evaluación de argumentos, permite una comprensión más profunda
de los fundamentos del razonamiento lógico y su aplicación en contextos matemáticos
La utilización de reglas de inferencia lógica, como el modus ponens y el silogismo
hipotético, para demostrar la validez de conclusiones derivadas de premisas dadas, resalta la
importancia de la aplicación sistemática de métodos lógicos en la resolución de problemas y la
toma de decisiones
12
Referencias Bibliográficas
Curo, A. (2015). Matemática básica para administradores. Universidad Peruana de
Ciencias Aplicadas (UPC). (pp. 13-27).
[Link]
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de [Link] Cid
Editor. (pp. 40-49). [Link]
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos. Editorial Tébar Flores. (pp. 19-
28). [Link]
Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad
Abierta para Adultos (UAPA). (pp. 19-36).
[Link]
Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de conjuntos.
Universidad Abierta para Adultos (UAPA). (pp 68-77).
[Link]
13
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.
[Link]
Castaño, C. & Martinez, C. (2022). Lógica e inferencia.
[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.
[Link]
Castaño, C. (2022). Aprendiendo sobre Blearning – Cipas y Webconferencias.
[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional
UNAD.[Link]
OVA – Unidad 1
Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio
institucional UNAD. [Link]
Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). Lógica Proposicional.
[Objeto_virtual_de_aprendizaje_OVA]. Repositorio Institucional UNAD.
[Link]
Castaño, C. (2019). Leyes de la inferencia. [Objeto_virtual_de_aprendizaje_OVA].
Repositorio Institucional UNAD. [Link]
