TP11: Quantificadores e indução.

17 Outubro 2022, 11:00 • Mário João de Jesus Branco

Resolução dos Exerc. 37.c), d), e), 38 e 39. Princípio de indução. Esboço de resolução do Exerc. 40.