Escolar Documentos
Profissional Documentos
Cultura Documentos
Lgica
Prof. Dr. Robinson Guitarrari
robinson.guitarrari@gmail.com
PLANO DE AULAS
AULA
DATA
ASSUNTO
Apresentao da disciplina:
Validade e verdade
Deduo e induo
LEITURA
MORTARI, C.A. Introduo
lgica, Caps. 1 e 2.
29/07
26/08
01/09
09/09
16/09
23/09
30/09
07/10
Exerccios
14/10
1 AVALIAO
10
21/10
11
28/10
FERIADO
PARTE II: Lgica de Predicados
[A]. Introduo: Teoria de conjuntos
1. Elemento, conjunto e pertinncia
2. Relao entre conjuntos (subconjuntos)
3. Operaes sobre conjuntos
4. Identificao de relaes e funes
[B]. Linguagem
1. Identificao de frmulas e frmulas bem-formadas (sintaxe)
2. Traduo de sentenas da linguagem natural para linguagem
formalizada (sintaxe)
B]. Linguagem
3. Identificao de verdades lgicas, falsidades lgicas e contingncias
(semntica)
4. Modelo (interpretao) e verdade (semntica)
[C]. Consequncia semntica: anlise validade de um raciocnio
5. Modelo (interpretao) e consequncia lgica (semntica)
[D]. Consequncia sinttica: sistema dedutivo
6. Deduo natural I (sintaxe). Definio e exemplos.
12
04/11
13
11/11
14
18/11
15
25/11
16
02/12
17
09/12
2 AVALIAO
18
16/12
PROVA SUBSTITUTIVA
PROGRAMA DE ENSINO
1. Objetivo
Introduzir o aluno aos conceitos bsicos da lgica proposicional e da lgica de predicados clssicas.
2. Contedo Programtico
Argumentos: viso geral
1. Noo de argumento
2. Identificao de argumentos
3. Lgica Formal e Lgica Informal (Lgica Pragmtica)
Lgica Formal Clssica: Proposicional e de Predicados
Introduo: domnio de aplicao
Parte I: Lgica Proposicional
1. Identificao de frmulas e frmulas bem-formadas (sintaxe)
2. Traduo de sentenas da linguagem natural para linguagem formalizada (sintaxe)
3. Tabelas de verdade (semntica)
4. Identificao de tautologias, contradies e contingncias (semntica)
5. Identificar consequncia lgica e equivalncia lgica (semntica)
Parte II: Lgica de Predicados
[A]. Introduo: Teoria de conjuntos
1. Elemento, conjunto e pertinncia
2. Relao entre conjuntos (subconjuntos)
3. Operaes sobre conjuntos
4. Identificao de relaes e funes
[B]. Linguagem
1. Identificao de frmulas e frmulas bem-formadas (sintaxe)
2. Traduo de sentenas da linguagem natural para linguagem formalizada (sintaxe)
3. Identificao de verdades lgicas, falsidades lgicas e contingncias (semntica)
4. Modelo (interpretao) e verdade (semntica)
[C]. Consequncia semntica: anlise validade de um raciocnio
5. Modelo (interpretao) e consequncia lgica (semntica)
[D]. Consequncia sinttica: sistema dedutivo
6. Deduo natural (sintaxe)
3. Bibliografia
3.1. Bibliografia Bsica
MORTARI, C. A. Introduo Lgica. 1a.ed. So Paulo: Unesp, 2001. 394 p. ISBN 8570601824
SALMON, W. Lgica. Rio de Janeiro: Prentice-Hall, 1984 (cap. 2)