T11_17

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

---

Revisões para o Mini-teste 1: exercícios 77, 37, 68. Uma pequena apresentação sobre a Emergência Climática e intervenção de estudantes do grupo Fim ao Fóssil da FCUL.

TP11_16

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

---

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

TP12: Demonstrações formais e consequência lógica.

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

---

Exerc. 75(2), (3), 76 e 3.

TP13_15

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

---

Resolução dos exercícios 64 e 68.

TP14: tt-equivalências, inferências e demonstrações formais envolvendo os conectivos lógicos condicional e bicondicional.

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

---

Exerc. 57(2), (3), 47(1)-(5), 54(3), (7), 75(1) e, parcialmente, 75(2).