Nome da Atividade
INTRODUÇÃO À LÓGICA
CÓDIGO
0100227
Carga Horária
68 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CARGA HORÁRIA TEÓRICA
2
CARGA HORÁRIA PRÁTICA
2
FREQUÊNCIA APROVAÇÃO
75%
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
4
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.


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;

Página gerada em 29/03/2024 11:35:42 (consulta levou 0.196400s)