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

validez de argumentos
Ejercicio 3: Problemas de aplicación

Numeral D

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

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

Desarrollo:

 Proposiciones simples: (se define cada proposición simple del argumento,

siempre en afirmativo y con letras en minúscula).

p: estudio

q: participo en los CIPAS

r: apruebo las materias

s: apruebo el curso

 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)
 Si no estudio entonces no apruebo las materias. Si apruebo el curso entonces no
participo en los CIPAS. Si apruebo el curso y apruebo las materias. Por lo tanto,
no participo en los CIPAS.

 Generar la tabla de verdad manualmente: recuerde que aparte de las

columnas de las proposiciones simples, debe haber tantas columnas como
operadores lógicos hay en el lenguaje simbólico.

¬
p q r s
p
¬q ¬r ( ¬ p → ¬r () s →¬ q ) ( s ∧r ) ( ¬ p → ¬r ) ∧ ( s →¬( qs →¬
) q ) ∧ ( s ∧r [) ( ¬ p →¬ r ) ∧ ( s → ¬q ) ∧ ( s ∧ r ) ]→ ¬

V V V V F F F V F V F F V

V V V F F F F V V F V F V

V V F V F F V V F F F F V

V V F F F F V V V F V F V

V F V V F V F V V V V V V

V F V F F V F V V F V F V

V F F V F V V V V F V F V

V F F F F V V V V F V F V

F V V V V F F F F V F F V

F V V F V F F F V F F F V

F V F V V F V V F F F F V

F V F F V F V F V F F F V

F F V V V V F F V V F V V

F F V F V V F F V F F F V
F F F V V V V V V F V F V

F F F F V V V V V F V F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

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

leyes de inferencia: (Mediante la aplicación de las leyes de inferencia, demuestre
la validez del argumento, recuerde que para aplicar leyes de inferencia debe
haber obtenido como resultado una tautología en la tabla de verdad)

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

P4: s aplicando simplificación en P3

s ∧r
s

P5: ¬q aplicando MPP en P2 y P4

s →¬ q
s
¬q
 Bibliografia
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971