TP16: Consequência e equivalência lógicas e demonstrações.

28 Setembro 2022, 11:00 • Mário João de Jesus Branco

Resolução dos Exerc. 9-13, 15 e esboço de resolução do Exerc. 18.