TP14 aula 24

20 Dezembro 2024, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 126, 149, 152 (1,2,3,8,11) e 161.

---

Aula teórica 27

20 Dezembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Resolução do exercício 125. Mais exemplos de deduções formais envolvendo as regras associadas aos quantificadores.

---

TP11_27

20 Dezembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 149 e 152 (3, 8, 11).

---

TP12_27

19 Dezembro 2024, 10:30 • Mário Jorge Edmundo

Resolução dos exercícios 120, 149 (4, 5),  152 (1, 2, 3, 7, 8, 11)

---

TP14 aula 23

18 Dezembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Consulta do segundo mini teste. Exercícios 124 (6-10), 148 (3-5) e discussão de algumas alíneas do exercício 122.

---