TP11_21
5 Janeiro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 (1,4,5), 152 (3,4,8,13) e 155.
5 Janeiro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 (1,4,5), 152 (3,4,8,13) e 155.