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.