T_8
30 Outubro 2020, 09:30 • Mário Jorge Edmundo
Demonstrações formais na notação de Fitch, exemplos (incluindo: modus tollendo ponens, princípio da não contradição e um exemplo ad hoc de uma demonstração errada); Exemplos de demonstrações formais ilustrando várias estratégias (incluindo: absorção, distributividade, uma das leis de De Morgan e o princípio do terceiro excluído).