Lógica proposicional

• Sintaxe da lógica proposicional
• Sistemas dedutivos para a Lógica Proposicional
• 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?

Links externos

• Lógica proposicional