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