Sintaxe da lógica proposicional

• Fórmulas

• Algumas comparações entre as linguagens proposicional e de primeira ordem

Veja também

• Definição recursiva da linguagem proposicional
• Sintaxe da lógica de primeira ordem
• Introdução Computacional à Lógica Matemática

Links externos

• Sintaxe (lógica)
• Assinatura
• Fórmula (lógica)
• Fórmula bem formada