UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

90004A_300 LOGICA MATEMATICA

Tarea 2 – Métodos para probar validez de argumentos

Tarea 2 – Métodos para probar validez de argumentos

Lógica Matemática

Grupo: 90004_300

Estudiante
José Ángel Cárdenas Gutiérrez – Código: 111981689
Tutor: Xesley Pinilla Sandoval

Universidad nacional abierta y a distancia UNAD

Junio- 2020
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos

Introducción

El presente trabajo es el resultado de los ejercicios propuestos en la guía Unidad 2 Tarea 2 del ítem D Sobre métodos para probar la
validez de los argumentos. Nos invita a analizar patrones y explorar nuestra lógica en las matemáticas, sobre las teorías de
comprobación de verdad que podemos y el razonamiento lógico, las leyes de inferencia y la clasificación de los argumentos.

Objetivos
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos


Desarrollar los ejercicios de los ítem D propuestos en la Unidad 2- Tarea 2 del área Lógica matemática.

 Analizar los métodos de verdad y analices de los argumentos lógicos.

Ejercicio 1: Conceptualización de las reglas de inferencia.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos
A partir de los resultados de
Clasifica los las tablas de verdad
La disciplina del Es LÓGICA MATEMÁTICA argumentos
razonamiento
En
Razonamiento que determina la
Lógico veracidad de los
argumentos. Leyes de
Tautología Contingencia Contradicción
Se dividen inferencia lógica
Mediante Puede ser
Es falsa para o
verdadera
Es verdadera
Se dividen todosfalsa
los
Inductivo Deductivo para todos los
posibles
depende de
valores de
Permiten
valores
los de
valores de
verdad.
Modus Ponens Modus tollens verdad.
Parte de varios Parte de una (MP) (MT)
conocimientos afirmación Establecer
Silogismo Silogimso
u observaciones general y lleva a conclusiones
disyuntivo (SD) hipotético (SH)
particulares y varias validadas a partir de
llega a una observaciones otras premisas
conclusión particulares. Simplificación Adición (AD)
(SIM)
general.

Dilema Dilema
Destructivo
Destructivo (DD)
(DD) constructivo (DC)

Conjunción
Adsorción (ABS)
(CONJ)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

D. Si invierto en el mercado de valores o bajan los impuestos. Si invierto en el mercado de valores, entonces me hare rico. Si bajan los
impuestos, entonces seré feliz.

Conclusión: _Entonces seré rico o seré feliz

Ley de inferencia aplicada: silogismo constructivo
Lenguaje simbólico: ( p ˅q ) Λ (p → r ) Λ (q→s)

p˅q
p→r
q→s
______
.: rvs

Ejercicio 3: Razonamiento Deductivo e Inductivo

D. El lunes, martes y miércoles fueron días soleados. Por tanto, el día jueves estará soleado.
Respuesta: La afirmación anterior corresponde al razonamiento Deductivo, ya que parte de lo general a lo particular; asociando
3 días a la semana que fueron soleados y dando un pronóstico particular al relacionar el día jueves como soleado. Nos brindas
datos de pronósticos de días anteriores y por tanto deducimos que el día siguiente continúa la tendencia.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos

Ejercicio 4: Problemas de aplicación

d. Expresión simbólica:

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

Premisas:
P1:( p ∧q ) → r
P2:q
P3: p

Conclusión: r

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,

p: José estudia agronomía

q: a José le gustan las planta
r: será un agrónomo.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos

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.

Respuesta: José estudia agronomía, porque le gustan las planta, entonces será un agrónomo. A José le gustan las plantas, estudia
agronomía, entonces será un agrónomo.

 Generar una tabla de verdad con el simulador Lógica UNAD

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos


 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).

r^(q))^(p (p^q)→r^(q)^(p
p q r p∧q r^(q)
) ) (p^q)→r^(q)^(p)→r
V V V V v v v v
V V F V f f f v
V F V F f f v v
V F F F f f v f
F V V F v f v v
F V F F f f v f
F F v F f f v v
F F F F f f v f

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

P1:( p ∧q ) → r
P2:q
P3: p
________

p4: q ∧ p Conjunción (2)(3)

.: r M. Ponendo Ponens (1)(4)= Conclusión

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
90004A_300 LOGICA MATEMATICA
Tarea 2 – Métodos para probar validez de argumentos

Referencias

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo Editorial Patria. (pp. 29-38).
Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=40&docID=11013570&tm=1492519542738

Validez de un razonamiento

 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=11046000&tm=1492520104862

Inferencia Lógica

 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 de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992