Esta disciplina tem dois objetivos principais. O primeiro deles é dar uma base sólida em lógica formal aos alunos, de forma que eles possam utilizar esse conhecimento para lidar com provas formais e especificar formalmente modelos de sistemas de informação. O segundo objetivo consiste em transmitir os conhecimentos básicos para a implementação de sistemas que incorporam mecanismos de raciocínio automático.

Sintaxe e semântica da lógica proposicional; Sintaxe e semântica da lógica de primeira ordem; Conceitos de correção e completude; Modelos de teorias; Demonstração de teoremas; Inferência automática com resolução; Programação em Lógica e Prolog; Lógica de Descrição.