Aula teórica 25

5 Dezembro 2025, 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

5 Dezembro 2025, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 109 (1, 2), 110, 120(1 - 4) e 99 (1 - 4) 

---

TP12 aula 23

4 Dezembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Realização do segundo miniteste.

---

TP14 aula 23

3 Dezembro 2025, 09:30 • Maria da Purificação Antunes Coelho

Realização do segundo miniteste. Exercícios 99 (1 - 4) e 120 (1 - 3).

---

TP13 aula 24

3 Dezembro 2025, 08:00 • Maria da Purificação Antunes Coelho

A aula não se realizou devido à não comparência dos alunos.

---