Nome da Atividade
LÓGICA II
CÓDIGO
06730005
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
NOTA MÉDIA APROVAÇÃO
7
Ementa
Dedução Natural para o Cálculo Proposicional. A Lógica dos Enunciados categóricos. Introdução ao Cálculo de Predicados. Lógica Clássica e Lógicas Não-clássicas. Problemas de Filosofia da Lógica.
Objectives
Objetivo Geral:
- Realizar uma breve recuperação dos conteúdos de Lógica I- Apresentar a Lógica dos Enunciados Categóricos
- Introdução da sintaxe do Cálculo de Predicados.
- Lógica clássica x Lógicas Não-Clássicas.
- Problemas de Filosofia da Lógica.
Conteúdo Programático
Bibliografia
Bibliografia Básica:
- HEGENBERG, Leônidas. Lógica - O Cálculo Sentencial - Cálculo de Predicados e Cálculo com Igualdade, 3ª edição. Forense, 07/2012. VitalSource Bookshelf Online. Soares, Edvaldo . FUNDAMENTOS DE LÓGICA, 2ª edição. Atlas, 03/2014. 51 VitalSource Bookshelf Online. Filho, Carlos Alberto F. Bispo | Luiz B. Castanheira | Oswaldo Melo S. Introdução à Lógica Matemática. Cengage Learning Editores, 08/2017. VitalSource Bookshelf Online.