•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ó?

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 UNADq : La UNAD es una Universidad Públicar : 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 estudiars →∼ q : si Carlos tiene que pagar entonces la Unad no es una universidad públicat →∼ r : si Carlos no estudia lo que quiere entonces la Unad no da la carrera que Carlos quiere estudiarp ∧ 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.