CLASIFICACION DE PROPOSICIONES CATEGORICAS Y METODOS PARA

PROBAR VALIDEZ DE ARGUMENTOS

ALUMNO:
JEINY LORENA GOMEZ MONTOYA

TUTOR:
ANDRES RODRIGO BERMUDEZ
Licenciado en Matemáticas
GRUPO: 200611A_612

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
JUNIO 15 DE 2019
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:

d. Expresión simbólica: [ ( ¬ p → ¬r ) ∧ ( s → ¬q ) ∧ ( s ∧ r ) ]→¬ 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: 17 es un número primo
q: 8 es un número par
r: 6 es un numero natural
s: 21 es un numero compuesto
 Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural.

Si 17 no es un número primo entonces 6 no es un número natural.

Si 21 es un número compuesto entonces 8 no es un número par. Si
21 es un numero compuesto y 6 es un numero natural, Por lo tanto
8 no es un numero par.

 Generar una tabla de verdad con el simulador Lógica UNAD a

partir del lenguaje simbólico
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).

El resultado de la tabla de verdad es una TAUTOLOGIA.

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

Premisas:
P1: ( ¬ p →¬ r )

P2: ( s →¬ q )

P3: ( s ∧r )

____________
Conclusión ¬q

P4: s (simplificación en 3)
P5: r (simplificación en 3)
P6: p (tolendo tollens en 1 y 5)
P7: r Λ q (adjunción en 5 y 6)
P8: ¬q (ponendo ponens en 2 y 4)
El argumento es válido porque aplicamos las leyes de inferencia a todas
las premisas y logramos llegar a la conclusión.
Adjunción (A) p (premisa)
Q (premisa)
pΛq
simplificación (s) sΛr o sΛr
s r
tolendo tollens (TT) ¬p→¬r

r___
p
ponendo ponens (pp) s→¬q

s___
¬q