Lógica Matemática (LOM-0004)

Origens históricas. Cálculo proposicional. Proposições e conectivos. Tabelas verdade. Tautologias e contradições. Formas normais. Conjuntos adequados de conectivos. Argumentos e validade. Inferência. Aplicações. Cálculo Predicativo. Predicados e quantificadores. Linguagens de 1a ordem. Interpretações. Satisfação. Modelos. Validade lógica. Um sistema formal para o cálculo predicativo. O teorema da dedução. Substituição. Correção e completude do sistema. Decidibilidade. Compacidade. Formas normais. Teorema de Herbrand. Unificação Resolução. Outros métodos analíticos em Lógica: dedução natural, sequentes, tabelas semânticas.

Bibliografia:

CASANOVA, M.A.; GIORGIO, F.; FURTADO, A. Programação em lógica e a linguagem Prolog. Edgard Blücher, 1987.

CHANG, C.L.; LEE, R.C. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.

GOCHET, P.; GRIBOMONT, P. Logique: méthodes pour l' informatique fondamentale. Hermes, 1990.

HAMILTON, A.G. Logic for Mathematicians. Cambridge University Press, 1978.

MENDELSSON, E. Introduction to Mathematical Logic. Van Nostrand, 1964.

THAYSE, A. et all. Approche logique de l' IA: de la logique classique à la programmation logique. Dunod, 1990.