• Author / Uploaded
• Tanhy Jr

• Categories
• Proposición
• Argumento
• Inferencia
• Expresiones lógicas
• Verdad

Citation preview

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 v v v v v v v v f f f f f f f f



q v v v v f f f f v v v v f f f f

r v v f f v v f f v v f f v v f f

s v f v f v f v f v f v f v f v f

¬p f f f f f f f f v v v v v v v v

¬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 f f v f v f f v f f v v f v f v v f v f f f f v v f v v f v f v f v v v v v v v f v v v f v f v v v v v f v f v v v v v f v f v f f f f v f f v f f f v f f f v v f v f f f f v v f v v f v f v f v f v v f f v f v f v f f f v v v v v f v 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