TP11_11

10 Novembro 2020, 08:00 • Mário Jorge Edmundo

Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 39, 40, 41.