Ejercicio 3: Problemas de aplicación

Expresión simbólica:

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

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: (𝑟 → ¬𝑞)
P2: (𝑝 ∨ 𝑠)
P3: (𝑞 ∧ 𝑝)
Conclusión: (¬r)

Desarrollo:

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

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

p: Laura no se aprendió las formulas

q: Laura no perdió el parcial

r: Laura reprobó la materia

s: Laura hizo trampa

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)

Laura reprobó la materia entonces perdió el parcial y no se aprendió las formulas o

hizo trampa y no perdió el parcial y no se aprendió las formulas. Entonces Laura no
reprobó la materia.
  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.

 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: (𝑟 → ¬𝑞)
P2: (𝑝 ∨ 𝑠)
P3: (𝑞 ∧ 𝑝)
Conclusión: (¬r)
P4: [(𝑟 → ¬𝑞) ∧ 𝑞] ∧ 𝑝 Asociativa P1 y P3
P5: (¬ 𝑟 ∧ 𝑝) MTT P4
P6: ¬ 𝑟 Simplificación (P5)