Você está na página 1de 3

Ejercicio 3: Problemas de aplicación

Expresión simbólica:

[(∼𝑝⟶∼r)∧(s⟶∼q) ∧(s∧r)]⟶∼q

Determinación de Premisas: (De acuerdo a la expresión simbólica divida el


argumento en premisas de forma vertical y deben ser numeradas)
P1: (∼𝑝⟶∼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: Jhon estudia Ingeniería Industrial

q: Jhon pasa el semestre

r: Jhon obtiene buenas calificaciones

s: Jhon asiste a clases

 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 Jhon no estudia Ingeniería Industrial entonces Jhon no obtiene buenas


calificaciones. Si Jhon asiste a clases entonces Jhon no pasa el semestre. Si Jhon
asiste a clases y pasa el semestre. Por lo tanto, Jhon no pasa el semestre
 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 ¬r ¬q (¬p→¬r) (s→¬q) (s۸r) (¬p→¬r)۸(s→¬q) (¬p→¬r)۸(s→¬q)۸(s۸r) (¬p→¬r)۸(s→¬q)۸(s۸r)→¬q


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 v f v f f f f v
v v f f f v f v v f v f v
v f v v f f v v v v v v v
v f v f f f v 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 v f v f f f f v
f v f f v v f v v f v f v
f f v v v f v f v v f f v
f f v f v f v 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: (∼𝑝⟶∼r)
P2: (s⟶∼q)
P3: (s˄r)

Conclusión: (∼q)
P4: s Simplificacion (3)
P5: ∼q MPP en 2 y 4

Você também pode gostar