TP14 aula 22

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

Exercícios 120 (conclusão), 123, 124 (1-5), 148(1), 148(2), 154 e 156.

---

Aula teórica 25

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

Generalização universal e a regra formal de introdução do quantificador universal. O método de demonstração condicional geral e a correspondente regra formal (forma "impura" da regra de introdução do quantificador universal).

---

TP11_25

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

Exercícios 123, 124 (1-5), 148(1), 148(2), 154 e 156.

---

TP12_25

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

Resolução dos exercícios 106, 108, 122, 124.

---

TP14 aula 21

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

Realização do segundo mini teste.

---