Introdução a Lógica
| Curso/semestre | Licenciatura em Matemática / Primeiro |
| Disciplina | Introdução a Lógica |
| Caráter | Obrigatória |
| Pré-requisito | – |
| Código | 0100227 |
| Depto. | DME |
| CHT | 68 horas |
| Créditos | 04 |
| Natureza/sem | 34 teóricas , 34 práticas/01 |
| Prof. Resp. | |
| Objetivos |
Prover o aluno dos conhecimentos básicos de lógica matemática formal e informal. Incentivar o desenvolvimento da leitura e da escrita.
|
| Ementa |
Cálculo proposicional. Tabelas verdade e árvores de refutação. Enunciados categóricos. Cálculo de predicados.
|
| Programa |
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
|
| 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.
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. |