Tarea 2: Métodos para probar validez de argumentos.

Trabajo presentado para la materia de Lógica matemática.

Código:90004

Elaborado Por:
Maribel Asprilla Buenaventura

Grupo: 329

Tutor:
Jhorman Andres Villanueva.

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Administrativas, Contables, Economicas y de Negocios (ECACEN).
Guadalajara de Buga.
2020.

Universidad Nacional Abierta y a Distancia

 Tarea 2: Métodos para probar validez de argumentos.

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:

c. Expresión simbólica: [(q → r )∧(r → p)∧ ( ¬ p ∧ s ) ] →(¬ q ∧ s)

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

Conclusión: (¬ q ∧ s)

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: Puede obtener una beca para el próximo semestre.

q: Dajanna gana todas las materias del semestre.
r: Dajanna es una buena estudiante.
s: No pasa el séptimo semestre.
Premisas
P1: (q → r ): Si dajanna gana todas las materias entonces es una buena estudiante.
 P2: (r → p): Si dajanna es una buena estudiante entonces puede obtener una beca
para el próximo semestre.
P3: ( ¬ p ∧ s ) : Si dajanna no puede obtener una beca para el próximo semestre sin
embargo no pasa el séptimo semestre.

Conclusión: (¬ q ∧ s): Si dajanna no gana todas las materias del semestre y no pasa
el séptimo semestre.

 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).
[(q → r )∧(r → p)∧ ( ¬ p ∧ s ) ] →(¬ q ∧ s)

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

P1:(q → r )
P2: (r → p)
P3: ( ¬ p ∧ s )
Conclusión: (¬ q ∧ s)

P4: