Raciocínio Lógico-Matemático

Ementa
Metodologia
Avaliações

Prof. Dr. Renato Machado Pereira

 Definição de Lógica

César MORTARI:
Lógica é a ciência que estuda princípios e métodos
de inferência, tendo o objetivo principal de
determinar em que condições certas coisa se
seguem (são consequências), ou não, de outras.
INFERÊNCIA ou ARGUMENTO: o ato de tirar uma
conclusão de um conjunto de evidências (premissas,
dados ou suposições).
 Definição de Lógica

Prof. José Caetano:

Lógica é a ciência normativa do raciocínio.

César Mortari:
 Definição de Lógica

Elliot Mendelson:
Lógica é a análise de métodos de raciocínio.
No estudo desses métodos, a lógica está interessada nas
formas do conteúdo de um argumento:

Todos os homens são mortais.

Sócrates é um homem.
Portanto, Sócrates é mortal.

A formalização sistemática e a catalogação dos

métodos válidos de raciocínio é a tarefa principal de
um lógico.
 Definição de Lógica-
Lógica-Matemática

Se os métodos empregados usam de técnicas

matemáticas ou raciocínios matemáticos, então a
lógica pode ser chamada de lógica-matemática.
O domínio da lógica-matemática pode ser definido
como o entendimento adequado e preciso da noção de
prova matemática.
 EMENTA DO CURSO

1. Raciocínio lógico-matemático:
Resolução de problemas.
2. Relação entre Lógica, Matemática e Computação:
Paradoxos;
Linguagem, Semântica, Sistemas Dedutivos;
Teoremas Principais (Corretude, Completude);
Computabilidade e aspectos computacionais;
Decidibilidade;
Máquina de Turing;
Provas matemáticas por indução e dedução.
 EMENTA DO CURSO

3. Cálculo Proposicional:
Conceito de proposição – simples e composta;
Valores lógicos das proposições;
Conectivos;
Tabela-verdade;
Operações lógicas sobre proposições;
Tautologia, contradições e contingências;
Argumentos e Regras de dedução.
 EMENTA DO CURSO

4. Cálculo de Predicados:
Proposições quantificadas;
Quantificador universal e existencial;
Prova de validade e contravalidade de
argumentos envolvendo quantificadores.
 BIBLIOGRAFIA

ALENCAR FILHO, Edgard de. Iniciação à lógica

matemática. 18. ed. São Paulo: Editora Nobel,
2000.
MORTARI, Cezar A. Introdução à lógica. 1. ed.
reimp. São Paulo: FEU, 2001.
CARNIELLI, W. A. & EPSTEIN, R. L.
Computabilidade, Funções Computáveis,
Lógica e os Fundamentos da Matemática. São
Paulo: Editora UNESP, 2006.
MORTARI C. A. & DUTRA L. H. A. A Concepção
Semântica da Verdade: Textos Clássicos de
Tarski. São Paulo: Editora Unesp, 2007.
 BIBLIOGRAFIA

SALMON, Wesley C. Lógica. Tradução por Álvaro

Cabral. 3. ed. Reimp. Rio de Janeiro: LTC, 2002.
MENDELSON, E. Introduction to Mathematical
Logic. 4 ed. London: Chapman & Hall, 1997.
HAACK, S. [1978]. Filosofia das lógicas.
Tradução: Cezar Augusto Mortari e Luiz Henrique de
Araújo Dutra. São Paulo: Editora Unesp, 2002.
PACHECO, E. R. & VENSKE, S. M. G. S. Um
Centenário em Evidência: Alan Turing (1912-
1954). Revista RECEN. Jun/dez 2012, p. 181-198.
COSTA, N. C. A. Introdução aos Fundamentos
da Matemática. 2. ed. São Paulo: Hucitec, 1977.
 METODOLOGIA

Metodologia de ensino/aprendizagem:
Aula expositiva-dialogada;
Apostilas;
Listas de Exercícios;
2 Avaliações Parciais (valor 2 pontos cada)
em grupo de no máximo 4 pessoas;
2 Avaliações Oficiais (valor 3 pontos cada).
 METODOLOGIA

Regras:
Horário de aula;
Saídas ao banheiro;
Horário de entrada e saída de provas;
Faltas em avaliação: o aluno terá o direito de
refazê-la no horário do reforço.
Apresentar documento da orientação.
 AVALIAÇÕES

Datas possíveis (podem ser alteradas durante o

semestre):
Avaliação Oficial 1: 10/04/2015
Avaliação Parcial 1: 07/04/2015
Avaliação Oficial 2: 30/06/2015
Avaliação Parcial 2: 26/06/2015
Exame: 07/07/2015
 AVALIAÇÕES

•Procurem respeitar as datas estipuladas e os horários

de aulas.
• Procurem providenciar a cópias das apostilas com
antecedência.
• Procurem fazer as atividades propostas.
• Procurem não faltar nas aulas.
• Qualquer dúvida me procurem.
Desejo a todos um ótimo semestre!!!
Email para contato:
renato.pereira@muz.ifsuldeminas.edu.br
Ou renato.rmp@gmail.com