Cálculo Proposicional: a noção de linguagem formal. Linguagem formal do cálculo proposicional. Traduções. Definições indutivas e definições recursivas. A semântica da linguagem proposicional. A noção de conseqüência lógica. A álgebra das proposições O sistema de Dedução Natural para a lógica Clássica. Cálculo dos Predicados: a linguagem formal do cálculo dos predicados de primeira ordem. A semântica para a linguagem de primeira ordem. Definibilidade, homomorfismos entre estruturas. O sistema de Dedução Natural para a lógica clássica de Primeira Ordem.
Obrigatória:
- Enderton, H. B. (2000). A Mathematical Introduction to Logic (2 ed.). Harcourt/Academic Press.
- van Dalen, D. (2004). Logic and Structure. Springer.
- Goldblatt, R. (1987). Logics of Time and Computation. University of Chicago Press.
Complementar:
- Brachman, R., & Levesque, H. (2004). Knowledge Representation and Reasoning. The Morgan Kaufmann Series in Artificial Intelligence (1 ed.). Morgan Kaufmann.
- Mates, B. (1972). Elementary Logic. Oxford University Press.
- Velleman, D. J. (2006). How to Prove It: A Structured Approach. Cambridge University Press.
- Jr., E. M. C., Grumberg, O., & Peled, D. A. (1999). Model Checking. MIT Press.