T_8

14 Outubro 2022, 09:30 • Mário Jorge Edmundo

Demonstrações formais na notação de Fitch. Exemplos, incluindo uma demonstração errada. Mais exemplos, incluindo: parte da absorção,  parte da distributividade, parte das leis de De Morgan e terceiro excluído.