Sumários
T_5
26 Março 2025, 09:30 • Mário Jorge Edmundo
As regras de inferência do sistema formal de demonstração Dedução Natural; propriedades da igualdade; exemplos de demonstrações em DN; DN é correto; em DN adição de testemunhas preserva a consistência; consistência maximal e dedução; fecho para conectivos e quantificadores; teorema de completude de Godel para DN; teorema da compacidade (outra vez).
T_4
19 Março 2025, 09:30 • Mário Jorge Edmundo
Modelos; consequência lógica; demonstrações e sistemas formais, correção de um sistema formal, completude de um sistema formal; consistência, existência de um conjunto consistente maximal; conjuntos de proposições com testemunhas, adição de testemunhas preserva a consistência; lema de Lindenbaum; lema da redução; fecho para conectivos e quantificadores; lema de Henkin; modelo e consistência; teorema da compacidade; compacidade e consequência lógica; Lowenheim-Skolem para modelos, exemplos.
T_3
12 Março 2025, 09:30 • Mário Jorge Edmundo
Equivalência lógica, regras para os conectivos; literal, fórmula sem quantificador (SQ), forma normal conjuntiva e forma normal disjuntiva para fórmulas SQ, exemplos; regras para os quantificadores; substituição e interpretação de um termo, substituição e interpretação de uma fórmula, substituição de variáveis mudas; forma normal prenexa, exemplos.
T_2
26 Fevereiro 2025, 09:30 • Mário Jorge Edmundo
Linguagem de primeira ordem, termos, fórmulas atómicas, fórmulas, variáveis que ocorrem livres. Interpretação de um termo, exemplos, variáveis e interpretações de termos; definição de verdade de Tarski, exemplos, variáveis e verdade. Discussão e resolução de alguns exercícios.
T_1
19 Fevereiro 2025, 09:30 • Mário Jorge Edmundo
Apresentação, indicações sobre a avaliação. Estruturas, tipo de uma estrutura, exemplos. Homomorfismos, mergulhos e isomorfismos, exemplos. Sub-estrutura, domínio de uma sub-estrutura, sub-estrutura gerada por um conjunto, Löwenheim-Skolem para baixo, versão fraca.