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).