AULA 26
20 Dezembro 2016, 10:30 • Fernando Ferreira
O que é uma estrutura para uma linguagem da LPO? Descrição breve. Descrição breve das noções matemáticas de "validade FO", "consequência FO" e "consistência FO". O teorema da completude de Gödel: dada uma linguagem de LPO, uma sentença (da linguagem) é consequência FO de premissas (sentenças da linguagem) dadas se, e somente se, essa sentença se deduz no sistema de Fitch dessas premissas.
Discussão breve sobre axiomatizações.
Discussão breve sobre o método de resolução em LPO (sem igualdade): no seu caso mais geral, tal envolve formas prenexas, formas de Skolem, unificação e resolução no cálculo proposicional (nada disto foi dito com detalhe). Um exemplo.