T11_19

21 Novembro 2023, 10:30 • Mário Jorge Edmundo

---

Exemplo de uma demonstração errada, exemplo de uma demonstração informal e de uma formal, contra-exemplo; mais exemplos de demonstrações formais.

TP11_18

21 Novembro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 99, 100, 110 e 104

TP12: Consequência lógica e fórmulas.

20 Novembro 2023, 12:00 • Mário João de Jesus Branco

---

Exerc. 14, 33, 64(1), (2) e 103.

TP13_18

20 Novembro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 103, 106, 100

TP14: Teste de avaliação.

17 Novembro 2023, 11:30 • Mário João de Jesus Branco

---

Teste de avaliação.