TP12_12
12 Novembro 2020, 10:30 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 42 (2), 43 (2,5), 44 (1).
12 Novembro 2020, 10:30 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 42 (2), 43 (2,5), 44 (1).