Sumários
TP12_8
10 Outubro 2024, 10:30 • Mário Jorge Edmundo
Discussão e resolução dos exercícios: 28, 14, 15.
TP14 aula 5
9 Outubro 2024, 09:30 • Maria da Purificação Antunes Coelho
Exercícios 24, 27 e 28 e início do exercício 30.
TP13 aula 6
9 Outubro 2024, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 14, 15 e 30 e início do exercício 31.
Aula teórica 7
8 Outubro 2024, 10:30 • Maria da Purificação Antunes Coelho
Consequência lógica e consequência tautológica. Deduções (informais) e contraexemplos.
TP11_7
8 Outubro 2024, 08:00 • Mário Jorge Edmundo
Discussão e resolução dos exercícios: 23, 24, 27.