Sumários

TP11_17a

7 Dezembro 2021, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 99, 127.

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

TP13_16

6 Dezembro 2021, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 103, 106, 108.

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.