TAREA 2 – MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

SANTIAGO ANDRES TRIANA MORALES

CÓDIGO: 1.128.624.955

No. DE GRUPO: 90004_551

NOMBRE TUTOR

GLORIA PAULINA CASTELLANOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

CÁTEDRA UNADISTA

ABRIL 2020
 INTRODUCCION

Por medio del siguiente trabajo se desarrollarán las reglas de inferencia y razonamientos
deductivos e inductivos, para probar la validez de argumentos en diferentes situaciones que
se presentan en la vida cotidiana, se interpreta e identificara en forma clara la estructura y
fundamento conceptual que tipifica los métodos de inferencia lógica por introducción.

OBJETIVOS

Lograr identificar los métodos utilizados de las leyes de inferencia y razonamiento

deductivo e inductivo, Por medio formulación de lenguaje simbólico y lenguaje natural
mediante un análisis de la tabla de verdad y argumentación demostrativa.
Ejercicio 1: Conceptualización de las reglas de inferencia.

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.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

a. Si Sofía está estudiando, entonces, está realizando las actividades. Sofía no está
realizando las actividades.
Conclusión: Sofía no está realizando las actividades.
Ley de inferencia aplicada: Modus Ponendo Ponens (MPP)
Lenguaje simbólico: p → q
P
~q

Ejercicio 3: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:
A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 3:
b. Según los datos vistos en Investing.com el precio del Bitcoin durante el año 2017 se
valorizó durante cada uno los 12 meses del año. Esto llevó a que personas particulares
invirtieran en Bitcoin, dada su tendencia alcista, para obtener ganancias.
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.
Es un razonamiento deductivo, ya que las personas que se empezaron a interesar por esta
inversión fueron personas particulares sin conocimiento alguno, solo se basaron en las alzas
consecutivas que tuvo el bitcoin en la temporada 2017 a lo que deducirán que seguirá en
alza en el 2018.

Ejercicio 4: Problemas de aplicación

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:
Expresión simbólica: [ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼ q ) ]⟶( p)

Premisas:
P1: ( p ∨q )
P2: ( s ⟶∼r )
P3: ( r )
P4: ( ∼ s ⟶∼ q )

Conclusión: (p)

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

p: Andres es docente
q: Andres es bibliotecario
s: Andres trabaja en oficina
r: Andres trabaja en una universidad

Andres es docente o es bibliotecario, si andres trabaja en oficina, entonces, andres no

trabaja en una universidad. Andres trabaja en una universidad. Andres no trabaja en oficina,
entonces, no es bibliotecario, por lo tanto, andres es docente.

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