TP16: Quantificadores e demonstrações, incluindo indução.

19 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 do Exerc.37.b)-e). Princípio de indução. Resolução do Exerc. 40.