El lenguaje formal de la lógica proposicional se puede generar con la gramática formal descrita usando la notación BNF como sigue: