PENSAMIENTO LOGICO Y MATEMATICO

Tarea 3 – Clasificación de proposiciones categóricas y Métodos para probar validez

de argumentos

ENTREGADO POR:
Geraldine Caicedo Urrego
GRUPO: 200611_532

TUTOR
GUILLERMO MANJARRES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA. UNAD

PROGRAMA DE LICENCIATURA EN PEDAGOGIA INFANTIL
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 [ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )] → q

 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: He obtenido 80 puntos en la unidad 1.

q: he realizado todas las actividades de la unidad 1.

s: he obtenido una calificación alta.

 Razonamiento en lenguaje natural: (A partir de las proposiciones simples anteriores

y el lenguaje simbólico dado en el ejercicio, se construye la expresión en lenguaje
formal o natural)

[ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )]→ q
Si he obtenido 80 puntos en la unidad 1, entonces he solucionado todas las actividades. Si
he obtenido 80 puntos en la unidad 1 o he obtenido una calificación alta, sin embargo, no
he obtenido una calificación alta, entonces he solucionado todas las actividades

Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
TABLA DE LA VERDAD [ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )]→ q

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).
P q s ¬ ¬ (p→q (p∨s (p→q)∧(pvs (¬s∧¬q {(p→q)∧(p∨s)∧(¬s∧¬q) {(p→q)∧(p∨s)∧(¬s∧¬q)}→
} q
s q ) ) ) )
V V V F F V V V F F V

V V F V F V V V F F V

V F V F V F V F F F V

V F F V V F V F V F V

F V V F F V V V F F V

F V F V F V F F F F V

F F V F V V V V F F V

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

Premisas: leyes de inferencia a utilizar

 Simplificación (S)

P1: ( p →q ) p∧q ¬ p ∧¬ q
o
∴ p ∴ q ∴ ¬ p ∴¬ q

P2:( p ∨s )
(MTP)
P3: ( ¬ s ∧¬ q ) p ∨ q ¬q p∨ q ¬ p
o
∴p ∴q

Conclusión: q

(MPP)
P4: ¬ s (S) de P3
p → q p p →¬ q p ¬ p → q ¬ p
o o
∴q ∴¬ q ∴q
P5: p (MTP) de P2 y P4

P6:q (MPP) de P1 y P5

el argumento es valido