Cálculo proposicional. Cálculo de predicados. Métodos de

MINISTÉRIO DA EDUCAÇÃO
UNIVERSIDADE FEDERAL DE GOIÁS
PRÓ-REITORIA DE GRADUAÇÃO
UNIDADE ACADÊMICA RESPONSÁVEL: FACULDADE DE FILOSOFIA-FAFIL
NOME DA DISCIPLINA: Lógica I
CURSO: Filosofia - Noturno
ANO: 2012.2
PROFESSOR RESPONSÁVEL: Araceli Velloso
CARGA HORÁRIA SEMESTRAL: 64h
CARGA HORÁRIA SEMANAL*: 4h
PRÉ-REQUISITOS E/OU CO-REQUISITOS (se houver): não há
RECOMENDAÇÕES:
EMENTA:
Cálculo proposicional. Cálculo de predicados. Métodos de provas.
I – OBJETIVO GERAL: Aprofundar o conhecimento de lógica proposicional e de
predicados.
II – OBJETIVO ESPECÍFICO: O curso se divide em dois objetivos: um primeiro visa a
introdução de alguns instrumentos para uma melhor manipulação das fórmulas lógicas, tais
como: o cálculo algébrico Proposicional (para a determinação de equivalência e validade de
fórmulas) e prenexização e purificação de expressões quantificadas. Na segunda parte,
usaremos aqueles instrumentos para compreender teorias matemáticas mais, como a teoria
das relações de ordem e de equivalência. Nossa ênfase será, como sempre, no entendimento
conceitual desses instrumentos e teorias.
III – CONTEÚDO PROGRAMÁTICO:
1. Cálculo Proposicional
Cálculo algébrico.
Equivalências lógicas.
2. Cálculo de Predicados
Funções ordinárias, relações e descrições definidas.
Prenexização e purificação de fórmulas.
Tableaux de predicados.
Teoria das relações.
IV – METODOLOGIA:
Discutiremos o material listado na bibliografia por meio de aula expositiva.
Estudos dirigidos sob orientação da professora.
V – AVALIAÇÃO:
Apresentação da solução dos exercícios por escrito.
Duas provas parciais e uma prova final.
Faculdade de Filosofia - Universidade Federal de Goiás - Caixa Postal 131, Campus Samambaia - 74001 970, Goiânia – GO, Brasil
Fone/Fax: (62) 3521-1069 e (62) 3521-1164
MINISTÉRIO DA EDUCAÇÃO
UNIVERSIDADE FEDERAL DE GOIÁS
PRÓ-REITORIA DE GRADUAÇÃO
VI – BIBLIOGRAFIA:
Básica:
SMULLYAN, R. LÓGICA DE PRIMEIRA ORDEM. SÃO PAULO: UNESP. 2009.
TUGENDHAT, E. PROPEDÊUTICA LÓGICO-SEMÂNTICA. PETRÓPOLIS: VOZES.
1997.
QUINE, W. O SENTIDO DA NOVA LÓGICA. CURITIBA: EDITORA DA UFPR. 1996.
O material da aula e os exercícios estarão disponíveis no site:
http://ar.velloso.sites.uol.com.br/cursos_da_ufg_noticias.htm
Complementar:
QUINE, W. Methods of Logic. Cambridge: Harvard. 1982.
VAN DALEN, D. Logic and structure. BERLIN: SPRINGER-VERLAG. 1985.HILBERT,
VERSÃO ELETRÔNICA TRADUZIDA PARA PORTUGUÊS E DISPONÍVEL NO SITE.
MORTARI, C. Introdução à Lógica. São Paulo: UNESP. 2001.
MATES, B. Lógica Elementar. São Paulo: Companhia Editora Nacional. 1968.
D & ACKERMANN, W. Principles of Mathematical Logic. Rhode Island: AMS. 1991.
Faculdade de Filosofia - Universidade Federal de Goiás - Caixa Postal 131, Campus Samambaia - 74001 970, Goiânia – GO, Brasil
Fone/Fax: (62) 3521-1069 e (62) 3521-1164