Continuação da aula anterior
6 Dezembro 2021, 12:00 • Maria João Antunes Dias Gouveia
Esclarecimento de dúvidas. Correcção do TPC (ex. 70 e duas demonstrações formais (de ~(~AvB) deduz-se conjunção de A e ~B, e vice-versa).
Resolução dos exercícios 76 e 77(3).