TAREA 2-MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

INGRID PAOLA ESCOBAR BONILLA

TUTOR : ELKIN BARREIRO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

MARIQUITA
2019
 INTRODUCCION

En este trabajo se realizó los cuatro ejercicios el tema es MÉTODOS PARA PROBAR
VALIDEZ DE ARGUMENTOS el cual se indicaba unas letras para el desarrollo, yo
aplique la letra (A), también se aplicó el razonamiento lógico los métodos y
principales enmarcados en la validez de algunas premisas que llevan a una
conclusión que puede identificarse como verdadera o no. También se manifestó una
serie de concepto y matemáticas transición lenguaje natural al lenguaje simbólico.
 OBJETIVOS

 Analizar y plantear una solución grupal a la situación problemática sugerida

en la guía

 Dar uso a las formas básicas de las tablas de verdad

 Fortalecer los conceptos y temas sugerido en las unidades de la lógica

matemática
 Ejercicio 1: Conceptualización de las reglas de inferencia. 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

METODOS PARA PROBAR

VALIDEZ DE ARMENTOS

Se aplica a

Prueba formal
Razonamiento A través de de validez
Lógicos

Se aplica
Los cuales son:
bbb
Conjunto de
Proposiciones

Leyes de Reglas de
inferencia remplazo
Por

Por
Premisas Conclusión *DM
*CONM
*DIST
*MP *SH *TAU
*MT *SIM *EM
*SD *DD *EXP
*AD *ABS *TRAN
Inferencia *CONJUNCIÓN *OMP
lógica * Doble
Negación
LOGICA
MATEMÁTICA

Es la disciplina que trata de

métodos de razonamiento. En un
nivel elemental, la lógica
proporciona reglas y técnicas para
determinar si es o no es válido.
Teniendo en cuenta la actividad escogí la opción A la cual consta de lo siguiente:

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:

a. Si Gabriela viaja entonces Gabriela conocerá muchas culturas.

Gabriela viaja.

Desarrollo

Conclusión: Gabriela conocerá muchas culturas

Premisa1: Ley de inferencia aplicada: Modus Ponens (Afirmando-afirma)
Premisa2: Lenguaje simbólico: A→B
A
Conclusión: B
Teniendo en cuenta la actividad escogí la opción A la cual consta de lo siguiente:

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:
Descripción del ejercicio:
A continuación, encontrará una serie de razonamientos para el desarrollo del
ejercicio 3:

a. La librería a la que frecuentemente va Sofía tiene el último fin de semana de

cada mes promociones; por lo que decide que a partir del próximo mes irá el
último fin de semana a comprar los libros que tanto le gustan, ahorrando así
una cantidad importante de dinero.

Desarrollo:

El razonamiento de Sofía es inductivo: El cual lo que quiere decir que hay ofertas
de libros e incluye un plan de regresar a la librería y que probablemente le va a
ayudar a ahorrar dinero.
Teniendo en cuenta la actividad escogí la opción A la cual consta de lo siguiente:

Ejercicio 4:
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:

A. [(p→¬q)∧(q∨¬r)∧r]→¬p

Premisas:
P1: p→¬q
P2: q∨¬r
P3: r
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:

Desarrollo:
P: ir en carro
Q: aumentar la velocidad trotando
R: llegar temprano a la universidad

 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.
[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Si ir en carro entonces, NO aumenta la velocidad trotando y si aumenta la

velocidad trotando o si no llega temprano a la universidad y si llegar temprano a la
universidad entonces ir en carro no aumenta la velocidad trotando.
Premisas:
P1: p→¬q: llegar temprano a la universidad entonces NO aumentar la velocidad
trotando

P2: q∨¬r: voy en carro o pierdo el examen

P3: r: aumento la velocidad trotando y voy en carro

Conclusión: ¬r: llegar temprano a la universidad.

 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).
 Tabla de verdad:

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).
p q r p q  r (p  q) ( q ∨ r) ( q ∨ ( q ∨ r) ∧ [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟]
r) ∧ 𝑟 𝑟] → ¬𝑝 → ¬𝑝
V V V F F F F V V V V
V V F F F V F V F V V
V F V F V F V F F V V
V F F F V V V V F V V
F V V V F F V V V V V
F V F V F V V V F F V
F F V V V F V F F F V
F F F V V V V V F F V

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

 P1: 𝑝 → ¬𝑞
 P2: 𝑞 ∨ ¬𝑟
 P3: 𝑟
 P4: 𝑞 ………… Modus Tollendo Ponens
 P5: ¬𝑝 ……… Modus Tollendo Tollens

Conclusión: ¬𝑝
 CONCLUSIÓN

Reforzamos en los conocimientos sugeridos en la anterior unidad 1 al dar uso de la

forma básica de las tablas de verdad, también los principios de la lógica, los
razonamientos lógicos matemáticas

También se hizo practica en forma grupal la situación sugerida en la guía por

medio de as inferencias y las leyes inferencia planteando una solución.
BIBLIOGRAFIAS:

https://www.google.com/search?sxsrf=ACYBGNS8AvarQZCXRus1i4SNzKXRSsbw4Q%3A157
2311088444&source=hp&ei=MJC3XfTuGNLG5gLUhYzYDw&q=METODOS+PARA+PROBAR
+VALIDEZ+DE+ARMENTOS+&oq=METODOS+PARA+PROBAR+VALIDEZ+DE+ARMENTOS
+&gs_l=psy-ab.3..0i22i30l10.2229.2229..3096...0.0..0.241.241.2-1......0....2j1..gws-
wiz.qlgqDOlE1as&ved=0ahUKEwj0xpqfo8DlAhVSo1kKHdQCA_sQ4dUDCAY&uact=5

https://www.google.com/search?hl=es-
419&sxsrf=ACYBGNRS1FnrWdSezLwaiqiVd2yoNqpVQg%3A1572310180613&source=hp&ei
=pIy3XZCFI6Hn5gKHnZWoDg&q=reglas+de+inferencia&oq=reglas+de+in&gs_l=psy-
ab.1.0.0l4j0i10j0l5.8308.11681..13224...0.0..0.584.3552.0j5j2j5j0j1......0....1..gws-
wiz.....10..35i362i39j35i39j0i131j0i67j0i131i67.4wWf0fNkLHQ