TP11_16
27 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com condicional e bicondicional)); Exercícios 75 (1,2), 76 (1), 77 (1,3).
27 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com condicional e bicondicional)); Exercícios 75 (1,2), 76 (1), 77 (1,3).