Em lógica, o termo sintaxe refere-se às regras que regem a composição dos textos em uma linguagem formal que constitui as fórmulas bem formadas de um sistema lógico. Ao fornecer uma interpretação, não faz sentido atribuir um significado para textos que não são fórmulas bem formadas.