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.

---