TP11: Demonstrações, incluindo indução.

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

Resolução do Exerc. 34 de duas maneiras - por redução ao absurdo e por contra-recíproco - e dos Exerc. 40, 41 e 42.