Nome da Atividade
INTRODUÇÃO À LÓGICA
CÓDIGO
11100027
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
2
CARGA HORÁRIA PRÁTICA
2
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
NOTA MÉDIA APROVAÇÃO
7
Ementa
Cálculo Proposicional. Tabelas Verdade e Árvores de Refutação. Enunciados Categóricos. Cálculo de Predicados.
Objectives
Objetivo Geral:
Prover o aluno dos conhecimentos básicos de lógica matemática formal e informal. Incentivar o desenvolvimento da leitura e da escrita.Conteúdo Programático
- Introdução a Lógica
O que é lógica
Premissas e Conclusões
Reconhecimento de Argumentos
Dedução e Indução
Verdade e Validade
- O Cálculo Proposicional
Argumentos
Regras não-hipotéticas de inferência
Regras hipotéticas de inferência
Regras derivadas
Teoremas
- Tabelas-verdade
Semântica dos operadores lógicos
Tabelas-Verdade
Arvores de Refutação
- A Lógica dos Enunciados Categóricos
Enunciados Categóricos
Inferências Imediatas
Silogismos Categóricos
- O Cálculo de Predicados
Quantificadores e Variáveis
Predicados e nomes próprios
Regras de inferência
Arvores de Refutação
Teoremas
O que é lógica
Premissas e Conclusões
Reconhecimento de Argumentos
Dedução e Indução
Verdade e Validade
- O Cálculo Proposicional
Argumentos
Regras não-hipotéticas de inferência
Regras hipotéticas de inferência
Regras derivadas
Teoremas
- Tabelas-verdade
Semântica dos operadores lógicos
Tabelas-Verdade
Arvores de Refutação
- A Lógica dos Enunciados Categóricos
Enunciados Categóricos
Inferências Imediatas
Silogismos Categóricos
- O Cálculo de Predicados
Quantificadores e Variáveis
Predicados e nomes próprios
Regras de inferência
Arvores de Refutação
Teoremas
Bibliografia
Bibliografia Básica:
- COPI, Irving. Introdução à Lógica. Ed. Mestre Jou, 1968.
- ROHATYN, Dennis & NOLT, John. Lógica. Ed. McGraw-Hill, 1991.
- HEGENBERG, Leônidas. Lógica - O Cálculo de Predicados. EDUSP, 1973.
- HEGENBERG, Leônidas. Lógica - Simbolização e Dedução. EDUSP, 1975.
- ALENCAR Fo, Edgard de. Iniciação à Lógica Matemática. Ed. Nobel, 1968.
Bibliografia Complementar:
- MONTEIRO, L. H. J.. Elementos de Álgebra. Ed. Ao Livro Técnico, 1969.
- BARROS, M. D. Raciocínio lógico. Editora Novas Conquistas, São Paulo, 2001.
- SÉRATES, J. Raciocínio lógico: lógico matemático, lógico quantitativo, lógico numérico, lógico analítico, lógico crítico. 5º ed. Brasília: Gráfica e Editora Olímpica Ltda, 1997.