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).