* [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]
* [http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura(lógica)]
* [http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica)]
* [http://pt.wikipedia.org/wiki/F%C3%B3rmula_bem_formada Fórmula bem formada]