1. Introdução
2. Lógica Proposicional
1. Linguagem
2. Semântica
3. Sistemas Dedutivos
• dedução natural
• provador automático de teoremas
• Axiomática
3. Lógica de primeira ordem
1. Linguagem
2. Sistemas Dedutivos
• dedução natural
• provador automático de teoremas
• Axiomática
3. Semântica