Expresión simbólica: {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q Premisas: P1:p→(q∨r) P2: s→∼q P3: t→∼r P4: p∧t Conclusión: q Definir las proposiciones simples, reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Respuestas
Expresión simbólica:
{[p → (q ∨ r)] ∧ (s →∼ q) ∧ (t →∼ r) ∧ (p ∧ t)} → q
Premisas:
P1: p → (q ∨ r)
P2: s →∼ q
P3: t →∼ r
P4: p ∧ t
Conclusión: q
Definir las proposiciones simples:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública
r: La UNAD da la carrera que Carlos quiere estudiar.
s: Si Carlos tiene que pagar.
t: Carlos no estudia lo que quiere
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
{[p → (q ∨ r)] ∧ (s →∼ q) ∧ (t →∼ r) ∧ (p ∧ t)} → q : Carlos estudia en la UNAD, entonces La UNAD es una universidad pública o la unad da la carrera que Carlos quiere estudiar, si Carlos tiene que pagar entonces la unad no es una universidad pública, si carlos no estudia lo que quiere entonces la unad no da la carrera que Carlos quiere estudiar, si carlos estudia en la unad y carlos no estudia lo que quiere, entonces la unad es una universidad pública.