Tarea 2 – Métodos

para probar validez de argumentos

Camilo Eduardo Franco Marulanda

Abril de 2019

Universidad nacional abierta y a distancia UNAD

Tolima

Lógica matemática
 Introducción.

Mediante el desarrollo de la siguiente guía de lógica matemática (Tarea 2 – Métodos

para probar validez de argumentos) el estudiante podrá comprender de manera más

precisa y lógica las diferentes metodologías de raciocinio y de comprobaciones de

problemas de manera asertiva y eficiente respaldado por la lógica matemática, las leyes

de inferencia y razonamientos lógicos, esperando de esta manera obtener un resultado

evolutivo en sus conocimientos.

Objetivos.

Como objetivo principal se pretende despertar y desarrollar de manera didáctica el

pensamiento lógico matemático del estudiante con la finalidad que este pueda asociar

problemas del común y de manera lógica logre dar soluciones que le permitan sobresalir

en el mundo real.
 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). En agosto hay mucho viento, entonces puedo elevar cometas. En agosto hay mucho

viento.

Conclusión: En agosto hay mucho viento.

Ley de inferencia aplicada: Modus ponendo ponens (MPP),

Lenguaje simbólico: p→q

Solución:

Proposiciones

P= En agosto hay mucho viento

q= puedo elevar cometas

r = En agosto hay mucho viento.

Premisa1: (p→q)

Premisa 2: q (MPP) de 1

Conclusión: r
Truth Table contingencia

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

T T T T

T T F F

T F T F

T F F F

F T T T

F T F F

F F T T

F F F F
 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 partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes

ítems:

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con sus propias palabras.

C). Rafael Nadal tenista español, está considerado como uno de los mejores tenistas de

la historia y el mejor de todos los tiempos en pistas de tierra europea. Hasta la fecha ha

sido campeón de 17 torneos de Grand Slam, lo que le coloca como el segundo jugador

profesional con más títulos "grandes" en la historia del tenis, tras el suizo Roger Federer.

Se concluye que si éste año no juega Roger Federer en Wimbledon el ganador de éste

torneo será Rafael Nadal.

Desarrollo:

Argumentación: El razonamiento utilizado es el Inductivo puesto que el texto se

basa en experiencias vividas y es muy probable que Roger Federer pueda jugar o no en tal

caso si esto pasara nada puede afirmar que el ganador del torneo sea Rafael Nadal o

Federer puesto que cualquier otro tenista puede quedarse con el campeonato.
 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 partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción

basada en un contexto, el que se solicita es un contexto académico

Ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 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.

 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).

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

C). Expresión simbólica: [(𝑝→¬𝑟) ∧ (q→𝑝) ∧ (r∧𝑞)] → (𝑟∨𝑞)

Premisas

P1: 𝑝 → ¬𝑟

P2: 𝑞 → 𝑝

P3: 𝑟 ∧ 𝑞

P4: q simplificación de 3

P5: r simplificación de 3

Conclusión: (r ∨ 𝑞)

Proposiciones:

p = Nairo Quintana corre el tour de Francia

q = Egan Bernal Gana el tour de Francia

r = Chris Froome corre el tour de Francia

¬𝑟 = Chris Froome no corre el tour de Francia

Si Nairo quintana corre el tour de Francia ENTONCES Chris Froome no corre el tour

de Francia, Egan Bernal gana el tour de Francia ENTONCES Nairo Quintana corre el

tour de Francia. Chris Froome corre el tour de Francia Y Egan Bernal gana el tour de

Francia ENTONCES Chris Froome corre el tour de Francia O Egan Bernal gana el tour

de Francia.
 P q r ((p→~r)∧(q→p)∧(r∧q))→(r∨q)

v v v V

v v f V

v f v V

v f f V

f v v V

f v f V

f f v V

f f f V

p q r ~r p→~r q→p r∧q ((p→~r)∧(q→p)∧(r∧q)) r∨q ((p→~r)∧(q→p)∧(r∧q))→(r∨q)

V V v F F V V F V V

V V F V V V F F V V

V F V F F V F F V V

V F F V V V F F F V

F V V F V F V F V V

F V F V V F F F V V

F F V F V V F F V V

F f F v V V F F F V
 Conclusión.

Con el desarrollo de la presente guía aprendí que no siempre un ejercicio se puede

desarrollar por medio de las tablas de verdad para obtener un resultado de validez y que

para ello existen otros recursos como los son las leyes de inferencias y los métodos de

deducción.

Bibliografía.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -

Grupo Editorial Patria. (pp. 29-38). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=110
13570&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-

166). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=1
1046000&tm=1492520104862

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) Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=107
32485&tm=1492520387992

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado

dehttp://hdl.handle.net/10596/6559

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) Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=107
32485&tm=1492520387992

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado

dehttp://hdl.handle.net/10596/6548

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado

dehttp://hdl.handle.net/10596/6543