TP16: Quantificadores e demonstrações.

10 Outubro 2022, 13:30 • Mário João de Jesus Branco

Breve apresentação dos quantificadores. Resolução dos Exerc. 35 e 20.b).