1.1 El lenguaje formal de la lógica de proposiciones

 

Para comenzar con el estudio de la lógica de proposiciones, es necesario primero comprender conceptos y definiciones escenciales.

Es muy importante identificar a la lógica proposicional como un lenguaje formal para modelar fenómenos o procesos computacionales.[2]