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).