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. Conectivos lógicos, sentenças. Métodos de demonstraçã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. Forma prenexa normal. Skolemização. Existência e unicidade. Quantificações numéricas. Introdução ao método de resolução para o cálculo de predicados (sem igualdade).