Lógica proposicional

• Sintaxe da lógica proposicional
• Formalismos dedutivos
• Semântica formal para a lógica proposicional

Para reflexão

• Que consequências tem o fato de que as fórmulas atômicas da lógica proposicional não possuem estrutura interna?

Veja também

• Introdução Computacional à Lógica Matemática

Links externos

• Lógica proposicional