Demonstrações informais e formais com quantificadores

10 Janeiro 2022, 12:00 • Maria João Antunes Dias Gouveia

Resolução dos exercícios 137, 139, 140, 141 (2,3,5).

TPC: exs 141, 142, 148 (1 e 4) e 152 (1,2,3,8)