T_8.5
5 Novembro 2021, 09:30 • Mário Jorge Edmundo
Exemplos de demonstrações formais com estratégias: a outra implicação de um caso da absorção, da distribuitividade, das leis de De Morgan. Demonstração formal do princípio do terceiro excluído.
5 Novembro 2021, 09:30 • Mário Jorge Edmundo
Exemplos de demonstrações formais com estratégias: a outra implicação de um caso da absorção, da distribuitividade, das leis de De Morgan. Demonstração formal do princípio do terceiro excluído.