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.