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.

Objetivos

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.

Página gerada em 03/12/2024 21:55:31 (consulta levou 0.146757s)