Institutional PortalUFPEL

Objetivo Geral:

Prover o aluno dos conhecimentos básicos de lógica matemática formal e informal.

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.

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;