TP12_11

9 Novembro 2020, 12:00 • Mário Jorge Edmundo

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