TP12: Fórmulas e quantificadores: consequência lógica e demonstrações informais e formais.

4 Dezembro 2023, 12:00 • Mário João de Jesus Branco

---

Exerc. 141, 142 e 148(1), (2).

TP13_22

4 Dezembro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 148, 154, 156

TP12: Fórmulas e quantificadores.

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

---

Exerc. 117, 118, 132(a), (b), 137, 139 e 140.

TP14: Fórmulas e quantificadores.

29 Novembro 2023, 09:30 • Mário João de Jesus Branco

---

TP13_21

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

---

Resolução dos exercícios 137, 139, 140, 141 e 142.