Question

• Expresión simbólica: {[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s) Premisas: P1: (p→q)∨r P2: r→∼p P3: p∧s Conclusión: q∧s Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo: p: Carlos estudia en la UNAD q: La UNAD es una Universidad Pública • Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Answer 1

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, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo:

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:  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): Si Carlos estudia en la UNAD, entonces La UNAD es una universidad pública o la unad da la carrera que Carlos quiere estudiar

s →∼ q : si Carlos tiene que pagar entonces la Unad no es una universidad pública

t →∼ r : si Carlos no estudia lo que quiere entonces la Unad no da la carrera que Carlos quiere estudiar

p ∧ t : Si Carlos estudia en la Unad y Carlos no estudia lo que quiere, entonces la Unad es una universidad pública.

Generar una tabla de verdad para:

{[p → (q ∨ r)] ∧ (s →∼ q) ∧ (t →∼ r) ∧ (p ∧ t)} → q