TP12_11
9 Novembro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 39, 40, 41.
9 Novembro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (demonstrações formais (com conectivos booleanos)); Exercícios 39, 40, 41.