Métodos para probar la validez de un argumentoA continuación, encontrará la expresión simbólica, las premisas y laconclusión de un argumento para el desarrollo del ejercicio?

Métodos para probar la validez de un argumento A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del ejercicio . Expresión simbólica : [(p⋀¬q)⋀( p→ q)] → (¬p) Premisas : P1 : p⋀¬q P2 : p → q Conclusión : ¬p A partir de la expresión simbólica seleccionada, el estudiante deberá :  Definir las proposiciones simples, tendrá la libertad de definir la bajo una descripción basada en un contexto p : Carlos estudia en la UNAD q : La UNAD es una Universidad Pública Demostración de la validez del argumento mediante las leyes de la inferencia lógica.