Expresión simbólica : {[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s)Premisas :P1 : (p→q)∨rP2 : r→∼pP3 : p∧sConclusión : q∧s•Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basa?
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 U q : La U es una Universidad Pública • Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.