Nome da Disciplina
INTRODUÇÃO À LÓGICA
CÓDIGO
11100027
Carga Horária
60 horas
Atividade Complementar
Não
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. Incentivar o desenvolvimento da leitura e da escrita.

 

Objetivos Específicos:

a) Incentivar o desenvolvimento da leitura e escrita;
b) Conhecer as principais regras lógicas;
c) Trabalhar com o cálculo proposicional;
d) Construir tabelas verdade;
e) Reconhecer as proposições categóricas;
f) Trabalhar com o cálculo proposicional;

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


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.

Disciplinas Equivalentes

Disciplina Curso
INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática (Licenciatura)

Página gerada em 14/11/2019 17:13:32 (consulta levou 0.144635s)