Lógica matemática

Unidad 2: Tarea 2

Presentado Por:
Cristian Gilberto Sanabria

Grupo
90004A_616

Presentado A:
Xesley Pinilla

Universidad Nacional Abierta Y A Distancia

Escuela Ciencias Agrícolas, Pecuarias Y Del Medio Ambiente (ECAPMA)
Programa De Agronomía
Ibagué Tolima
2020
 INTRODUCCIÓN

En el siguiente trabajo se tratan temas fundamentales sobre todo lo que tiene que ver con el
tema de métodos para probar la validez de argumentos, donde se sigue usando las tablas de
verdad y demás medios necesarios para darle un enfoque especifico y general a todas las
proposiciones y argumentos que se estén manejando, de la misma manera, es importante
destaca, que se hace por medio de varios ejercicios, donde además, también se maneja
bastante la lógica en diferentes medios, obviamente usando y teniendo claro el concepto de
la validez de argumentos y todos los organismos que permiten que esto se pueda llevar a
cabo para su correcta ejecución y valor.
 OBJETIVOS

GENERAL:
 Comprender los métodos que existen para la validación de argumentos y dar por
hecho la validez de estos.

ESPECÍFICOS:
 Entender todos los métodos de validez de argumentos.

 Dar un enfoque claro a los conceptos y temáticas.

 Comprender los medios brindados para su ejecución.

 DESARROLLO

Ejercicio 1: Conceptualización de las reglas de inferencia. Para el desarrollo de

este ejercicio, es necesario que el estudiante revise en el Entorno de
Conocimiento (Unidad 2), las siguientes referencias:
• Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios:
Larousse - Grupo Editorial Patria. (pp. 29-38)
• Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria.
(pp. 163-166)
• Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de
grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)
Descripción del ejercicio:
Socializar en el Foro diseñado para el desarrollo de la actividad unidad 2, un mapa
conceptual que encierre los conceptos básicos de la presente unidad que son:
• Lógica Matemática
• Leyes de la inferencia lógica
• Razonamientos Lógicos
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica. Para el desarrollo de
este ejercicio, es necesario que el estudiante revise en el Entorno de
Conocimiento (Unidad 2), las siguientes referencias:
• Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de
grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)
• Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]
Una vez realizada la lectura, desarrolle la actividad propuesta.
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
c. Si el pastel está hecho con azúcar, entonces el pastel está dulce. El pastel no
está dulce.
Conclusión: El pastel no está hecho con azúcar.
Ley de inferencia aplicada: Modus Tollendo Tollens.
Lenguaje simbólico: p → q
˜q
_______
∼𝑝

Ejercicio 3: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el
Entorno de Conocimiento (Unidad 2), las siguientes referencias:
• Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito
Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84).
• Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video] Una vez
realizada la lectura, desarrolle la actividad propuesta.
Descripción del ejercicio:
A continuación, encontrará una serie de razonamientos para el desarrollo del
ejercicio 3:
c. Ana, Juan, Pedro y Lucas son hermanos. Ana tiene hambre. Lucas tiene
hambre también. Entonces Juan también tiene hambre.
ARGUMENTACIÓN: El razonamiento utilizado es el INDUCTIVO, ya que es un
proceso utilizado para poder sacar conclusiones generales partiendo de hechos
particulares. En este caso, se dice Juan tiene hambre basándose en hechos de
que sus hermanos también tienen hambre, por lo que se llega a una conclusión
general basado en particularidades.

Ejercicio 4: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el
Entorno de Conocimiento (Unidad 2), las siguientes referencias:
• Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de
grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)
• Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]
Una vez realizada la lectura, desarrolle la tarea propuesta.
Descripción del ejercicio:
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de
un argumento para el desarrollo del ejercicio 4:
c. Expresión simbólica: [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (𝑝 ∨∼ 𝑟)] ⟶ (𝑞 ∨ 𝑠)
Premisas
P1: 𝑝 ⟶ 𝑞
P2: ∼ 𝑟 ⟶ 𝑠
P3: 𝑝 ∨∼ 𝑟
Conclusión: 𝑞 ∨ s
p: Juan estudia ingeniería civil.
q: Juan estudia para el parcial de mecánica.
r: Mecánica es una materia muy importante.
s: Ingeniería civil es muy buena carrera.
Si Juan estudia ingeniería civil entonces Juan estudia para el parcial de mecánica
y si mecánica no es una materia muy importante entonces ingeniería civil es muy
buena carrera y Juan estudia ingeniería civil o mecánica no es una materia muy
importante entonces Juan estudia para el parcial de mecánica o ingeniería civil es
muy buena carrera.
Premisas:
P1: 𝑝 ⟶ 𝑞
P2: ∼ 𝑟 ⟶ 𝑠
P3: 𝑝 ∨∼ 𝑟
Conclusion: 𝑞 ∨ 𝑠
P4: q p1-p4
P5: ∼p p1-p3
 Conclusión

 Se comprendió todas las temáticas propuestas

 Se usaron todas las técnicas para hallar el valor de verdad de los argumentos.

 Fue muy útil usar todos los conceptos y argumentos.

Bibliografía