Sumários
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).
TP14_15
3 Dezembro 2021, 11:30 • Mário Jorge Edmundo
Resolução dos exercícios 75 (1, 2), 76, 77 (1, 3).
T_15
3 Dezembro 2021, 09:30 • Mário Jorge Edmundo
Fórmulas logicamente equivalentes; propriedades da equivalência lógica. Regras de substituição para fórmulas. Contra-exemplos. Exemplos: traduções equivalentes.