159 - Tarea 2

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 12

Tarea 2 – Métodos

Para probar validez de argumentos

PRESENTADO POR:
Jhon Erick Palma
Código: 1061761549
Grupo: 90004_159

PRESENTADO A:
Rubén Darío Angarita

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA (ECBTI)
INGENIERÍA DE SISTEMAS
PASTO
2019
Introducción
En siguiente trabajo vamos a entender y aprender los métodos para aprobar la validez de

argumentos, aplicando las reglas de inferencia modus ponendo ponens. Modus tollendo

tollens y silogismos hipotéticos este conocimiento se aplicará a ejercicios establecidos en la

guía también se realizará razonamiento deductivo e inductivo logrando así entender mejor

los temas mencionados.


Objetivos
 Se ampliará el conocimiento de los métodos para aprobar la validez de argumentos
 Se aplicará reglas de inferencia modus ponendo ponens. Modus tollendo tollens y
silogismos hipotéticos
 Se realizar tablas de verdad por medio de análisis
 Se realizará razonamiento deductivo e inductivo en ejemplos dados por la guía
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
• 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:
e. Sofía está tocando el piano. Gabriela está tocando la guitarra.
P= Sofía está tocando el piano
Q= Gabriela está tocando la guitarra
1: p → q
2: p
∴ q

Conclusión: Gabriela está tocando la guitarra. Q


Ley de inferencia aplicada:
1: p → q
2: p
∴ q

Modus ponens
Lenguaje simbólico: (P→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:
e. El supermercado Éxito cerró ayer temprano. El Fruver también cerró ayer temprano. Es
probable que hoy todos los negocios cierren temprano.
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes
ítems:

• Identificar si el razonamiento es deductivo o inductivo:


El razonamiento es inductivo

• Argumentar la respuesta con sus propias palabras:


Debido al antecedente presentado se realiza este tipo de razonamiento, dice que el
razonamiento inductivo se realiza a partir de hechos presentados y que ocurren y pueden
volverse a dar, y la frase que tenemos nos habla sobre una probabilidad y no un echo
exacto, por eso se dice que todos los almacenes pueden cerrar debido a los hechos
presentados anteriormente.
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:
e. Expresión simbólica:
[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑞 ⟶∼ 𝑟
P3: ¬𝑟 → 𝑠
P4: ∼ 𝑝
P5: 𝑠 ⟶ 𝑟
Conclusión: r
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
P: estudio a distancia
Q: estudio presencial
R: estudio ingeniería de sistemas
S: trabajo y me preparo
Estudio a distancia o estudio presencial, si estudio presencial entonces no estudio ingeniería
de sistemas. Si no estudio ingeniería de sistemas entonces trabajo y me preparo Si no
estudio a distancia, entonces trabajo y me preparo, entonces estudio ingeniería de sistemas.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

El resultado de la tabla me da una tautología


 Demostración de la validez del argumento mediante las leyes de la inferencia lógica
[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑞 ⟶∼ 𝑟
P3: ¬𝑟 → 𝑠
P4: ∼ 𝑝
P5: 𝑠 ⟶ 𝑟
P6:r MPP en 6
Conclusión: r
Conclusiones

Una vez realizados los ejercicios se analiza se entiende y se aplica el conocimiento

aprendido logrando así resolver los problemas presentados aplicando la conceptualización

de reglas de inferencia lógica, el razonamiento deductivo e inductivo y se resuelve

problemas de aplicación desde una expresión simbólica definiendo las proporciones

simples se remplaza dichas proposiciones a lenguaje natural y se realiza tablas de verdad.


Referencias Bibliográficas
• 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]
• 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]
• 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]
• 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)
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/
Textos/Biblioteca/Libros/Libro_008/Logica_Matematica.htm

También podría gustarte