Fórmula é a síntese de um raciocínio e não um subterfúgio para não raciocinar em geral. Em Lógica, uma fórmula é uma frase, construída segundo as regras gramaticais de uma determinada linguagem formal, a respeito de objetos do universo de discurso.