TP11: asserções com um quantificador, operações sobre conjuntos e interpretação de conjuntos

14 Outubro 2019, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 27, 28.d)-i), 29.e)-l) e 30.a), b).