T9
15 Outubro 2019, 10:30 • Mário Jorge Edmundo
Demonstrações formais na notação de Fitch; exemplos (incluindo: modus tollendo ponens, absorção, princípio da não contradição, distributividade); discussão de uma demonstração formal errada.
15 Outubro 2019, 10:30 • Mário Jorge Edmundo
Demonstrações formais na notação de Fitch; exemplos (incluindo: modus tollendo ponens, absorção, princípio da não contradição, distributividade); discussão de uma demonstração formal errada.