Sumários
T_5a
18 Outubro 2022, 11:30 • Mário Jorge Edmundo
O teorema da compacidade; compacidade e consequência lógica; Lowenheim-Skolem para modelos; exemplos: aritmética não standard e análise não standard. O sistema formal de demonstração dedução natural, regras de inferência; demonstrações no sistema formal dedução natural; exemplos: propriedades da igualdade; mais exemplos, incluindo: parte da distributividade, parte de uma das leis de De Morgan, princípio da não contradição, parte da lei do contra-recíproco, parte de uma das segundas leis de De Morgan, a outra parte de uma das leis de De Morgan; o sistema formal dedução natural é correcto; adição de testemunhas preserva a consistência; consistência maximal; fecho para conectivos e quantificadores; teorema da completude de Godel (para o sistema formal dedução natural); teorema da compacidade (outra vez).
T_4b
12 Outubro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).
T_4a
11 Outubro 2022, 11:30 • Mário Jorge Edmundo
Notação e convenções. Modelos; consequência lógica, demonstrações e sistemas formais, correção e completude; consistência, existência de conjuntos de proposições consistentes maximais; conjuntos de proposições com testemunhas, adição de testemunhas preserva a consistência, lema de Lindebaum, lema de redução, fecho para conectivos e quantificadores; lema de Henkin.
T_3a
4 Outubro 2022, 11:30 • Mário Jorge Edmundo
Equivalência lógica, regras de substituição para os conectivos; literais, fórmulas sem quantificadores, formas normais disjuntivas e conjuntivas para fórmulas sem quantificadores, exemplos; regras de substituição 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 prenex, exemplos.
T_2b
28 Setembro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).