Programa

Lógica de Primeira Ordem

Licenciatura Bolonha em Engenharia Informática

Programa

Constantes, símbolos relacionais, símbolos funcionais, termos, igualdade, sentenças atómicas. Conetivos lógicos, sentenças. Métodos de dedução. Satisfação duma fórmula proposicional (o problema P vs NP) e tautologias. Leis proposicionais básicas.  Forma normal negativa. Formas normal conjuntiva e disjuntiva. Deduções formais (cálculo de Fitch). Método da resolução. O algoritmo de satisfação de Horn. Variáveis e termos. Unificação de termos. Quantificadores. Fórmulas e sentenças (variáveis mudas e livres). Semântica (verdade e satisfação, informalmente). Equivalência lógica. Leis básicas da quantificação. O uso de quantificadores múltiplos. Deduções formais envolvendo quantificadores. Existência e unicidade. Correção e completude do sistema dedutivo de primeira-ordem apresentado (discussão informal). Introdução ao método de resolução para o cálculo de predicados (sem igualdade).