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