Por favor me urge?

Por favor me urge! Ejercicio 2 C. Expresión simbólica : [(p → q)⋀(p ∨ q)⋀(¬q)] → (q) Premisas : P1 : p → q P2 : p ∨ q P3 : ¬q Conclusión : q De acuerdo a lo anterior, desarrollar : - Definir las proposiciones simples, Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. - Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico - Generar una tabla de verdad manualmente a partir del lenguaje simbólico - Demostración de la validez del argumento mediante las leyes de la inferencia lógica.