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.