Listas de Exercícios - Introdução à Lógica

• Lista 1
• Lista 2
• Lista 2A
• Lista 3
• Lista Boole
• Lista Boole (parte II)
• Lista3A
• Lista3B
• Lista 4
• Lista 4A
• Lista 5
• Lista 6

Notas de Aula

• Ementa
• Forma Normal Prenex
• Conversão para a Forma Clausal
• Resolução e Estratégias de Controle
• Herbrand