Currículos Ativos (Noturno)
Plano de Ensino
Disciplina: FIL040 - LOGICA II
Carga horária: 60
Departamento: DEPTO DE FILOSOFIA /ICHL
Ementa
Metateoremas da Lógica Clássica Proposicional e de Predicados. Metateoremas da
Semântica Proposicional. Versões Axiomáticas da Lógica Proposicional.
Metateoremas da Semântica de
Semântica Proposicional. Versões Axiomáticas da Lógica Proposicional.
Metateoremas da Semântica de
Conteúdo
1. Metateoremas da Semântica Proposicional
1.1. Extensionalidade
1.2. Completude Funcional
2. Versões Axiomáticas da Lógica Proposicional
2.1. Bases axiomáticas
2.2. Correção e Completude
2.3. Maximalidade
3. Metateoremas da Semântica de Predicados
3.1. Extensionalidade
3.2. Dualidade, negação
4. Bases Axiomáticas e de Dedução Natural para o Cálculo de Predicados
4.1. Apresentação de alguns sistemas equivalentes
4.2. Correção e Completude
4.3. Outras propriedades metateóricas
1.1. Extensionalidade
1.2. Completude Funcional
2. Versões Axiomáticas da Lógica Proposicional
2.1. Bases axiomáticas
2.2. Correção e Completude
2.3. Maximalidade
3. Metateoremas da Semântica de Predicados
3.1. Extensionalidade
3.2. Dualidade, negação
4. Bases Axiomáticas e de Dedução Natural para o Cálculo de Predicados
4.1. Apresentação de alguns sistemas equivalentes
4.2. Correção e Completude
4.3. Outras propriedades metateóricas
Bibliografia
KLEENE, S. Introduction to Metamathematics. Van Nostrand, 1962.
MATES, B. Lógica Elementar. Cia Editora Nacional, 1969.
MENDELSON, E. Mathematical Logic. 4a ed. Chapman & Hall, 1997.
MATES, B. Lógica Elementar. Cia Editora Nacional, 1969.
MENDELSON, E. Mathematical Logic. 4a ed. Chapman & Hall, 1997.
Bibliografia(continuação)
Não informado
Bibliografia complementar
CHURCH, A. Introduction to Mathematical Logic. 10a
ed. Princeton Um. Press, 1996.
SHOENFIELD, J. Mathematical Logic. Addison-Wesley, 1967.
SMULLYAN, R. M. First Order Logic. New York: Dover Publications Inc., 1995.
ed. Princeton Um. Press, 1996.
SHOENFIELD, J. Mathematical Logic. Addison-Wesley, 1967.
SMULLYAN, R. M. First Order Logic. New York: Dover Publications Inc., 1995.