Nome da Atividade
INTRODUÇÃO À LÓGICA
CÓDIGO
0100227
Carga Horária
68 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.
Objetivos
Objetivo Geral:
Prover o aluno dos conhecimentos básicos de lógica matemática formal e informal.Conteúdo Programático
Unidade 1 - Linguagem
1.1. O que é lógica?
1.2. Premissas e Conclusões;
1.3. Reconhecimento de Argumentos;
1.4. Dedução e Indução;
1.5. Usos da linguagem;
1.6. Formas do discurso;
1.7. Falácias não-formais;
1.8. Técnicas de Definição.
Unidade 2 - Proposições Categóricas
2.1. Proposições e classes categóricas;
2.2. Inferências imediatas.
Unidade 3 - Silogismos Categóricos
3.1. Inferências imediatas;
3.2. Diagramas de VENN;
3.3. Regras e falácias.
Unidade 4 - Argumentos em Linguagem comum
4.1. Argumento Silogístico;
4.2. Tradução das Proposições para a Forma Típica;
4.3. Silogismos Disjuntivos.
Unidade 5 - Lógica simbólica
5.1. Enunciados Condicionais e Implicação Material;
5.2. Formas de Raciocínio e enunciados.
Unidade 6 - O método da dedução
6.1. Prova Formal de Validade.
Unidade 7 - Funções proposicionais e quantificadores
7.1. Proposições Singulares;
7.2. Quantificadores;
7.3. Demonstração de Validade.
1.1. O que é lógica?
1.2. Premissas e Conclusões;
1.3. Reconhecimento de Argumentos;
1.4. Dedução e Indução;
1.5. Usos da linguagem;
1.6. Formas do discurso;
1.7. Falácias não-formais;
1.8. Técnicas de Definição.
Unidade 2 - Proposições Categóricas
2.1. Proposições e classes categóricas;
2.2. Inferências imediatas.
Unidade 3 - Silogismos Categóricos
3.1. Inferências imediatas;
3.2. Diagramas de VENN;
3.3. Regras e falácias.
Unidade 4 - Argumentos em Linguagem comum
4.1. Argumento Silogístico;
4.2. Tradução das Proposições para a Forma Típica;
4.3. Silogismos Disjuntivos.
Unidade 5 - Lógica simbólica
5.1. Enunciados Condicionais e Implicação Material;
5.2. Formas de Raciocínio e enunciados.
Unidade 6 - O método da dedução
6.1. Prova Formal de Validade.
Unidade 7 - Funções proposicionais e quantificadores
7.1. Proposições Singulares;
7.2. Quantificadores;
7.3. Demonstração de Validade.
Bibliografia
Bibliografia Básica:
- ROHATYN, Dennis & NOLT, John. Lógica. Ed. McGraw-Hill, 1991.
- HEGENBERG, Leônidas. Lógica - O Cálculo de Predicados. EDUSP, 1973.
- COPI, Irving. Introdução à Lógica. Ed. Mestre Jou, 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
- 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;