TP12_11

21 Outubro 2024, 12:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 39, 40. 

---

TP13 aula 9

21 Outubro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 41, 42, 43(2) e 43(3).

---

TP14 aula 8

18 Outubro 2024, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 34, 35, 39(3), 40 e 41.

---

Aula teórica 10

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

Demonstrações por redução ao absurdo. Regras formais de introdução da contradição, eliminação da contradição, introdução da negação e eliminação da negação. Exemplos.

---

TP11_10

18 Outubro 2024, 08:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 33, 34. 

---