TP12_16

26 Novembro 2020, 10:30 • Mário Jorge Edmundo

Exemplos (demonstrações formais (com condicional e bicondicional)); Exercícios 75 (1,2), 76 (1), 77 (1,3).