TP11_12

13 Novembro 2020, 08:00 • Mário Jorge Edmundo

Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 42 (2), 43 (2,5), 44 (1).