Está en la página 1de 4

Clasificación de proposiciones categóricas y Métodos para probar validez de argumentos

Karol Viviana Fonseca Cristancho.

Cód.1002520913.

Grupo 462.

Cel.3223860619.

Tutora: Yady Milena Camacho.

Universidad Nacional Abierta y a Distancia (UNAD).

Escuela de Ciencias Sociales, Artes y Humanidades (ECSAH).

Pensamiento Lógico Matemático.

4/03/2020.
Ejercicio 3: 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 3:

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

Premisas:

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

Conclusión: q

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: Laura estudia en la universidad abierta y a distancia UNAD

q: Laura va a conseguir un buen trabajo

s: Es una universidad de calidad

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.

 Laura estudia en la universidad abierta y a distancia UNAD entonces Laura va a


conseguir un buen trabajo. Y Laura estudia en la universidad abierta y a distancia UNAD
o Es una universidad de calidad. Y no es una universidad de calidad y Laura no va a
conseguir un buen trabajo. Entonces Laura va a conseguir un buen trabajo.
 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

p q s ¬ ¬ (p→q) (p ∨ s) (¬s∧¬q [(p→q)∧(p ∨ s)∧(¬s∧¬q)] [(p→q)∧(p ∨ s)∧(¬s∧¬q)]→q


s q )
v v v f f v v f v v
v v f v f v v f v v
v f v f v f v f f v
v f f v v f v v f v
f v v f f v v f v v
f v f v f v f f v v
f f v f v v v f f v
f f f v v v f v f v

 Resultado de la tabla de verdad: TAUTOLOGÍA


 Demostración de la validez del argumento mediante las leyes de la inferencia lógica
 P1. ( p → q )
 P2. ( p ∨ s )
 P3. ( ¬ s ∧¬ q )
 Conclusión:q
P4:( s ∨ p ) (LC) 2
P5: s (LA) 4
P6:¬ ( s ∨ q ) (DM) 3
P7:¬¬ s (DN) 5
P8: q (TP) 6, 7 Conclusión