AULA 26
18 Dezembro 2018, 10:30 • Fernando Ferreira
Resolução duma modificação do exercício 152(4). Deduções formais que envolvem quantificações alternadas. Discussão dum erro.
Breves notas sobre a noção de estrutura para uma linguagem da LPO. Sem nenhuns detalhes, mencionou-se a definição de verdade de Tarski e a noção de consequência semântica em LPO. Enunciou-se o teorema da completude de Gödel e mencionou-se a indecidibilidade da LPO devida a Church.