Aula teórica 24

4 Dezembro 2025, 11:30 • Maria João Antunes Dias Gouveia

Sumário da aula anterior: conclusão.

---

Aula 24

3 Dezembro 2025, 08:00 • Marko Stosic

Ficha 10, exercício 5.

---

Aula teórica 23

2 Dezembro 2025, 10:00 • Maria João Antunes Dias Gouveia

Regra de introdução da negação e o método de demonstração por redução ao absurdo. Método de demonstração por contrarrecíproco. Leis de De Morgan. Regras de inferência do bicondicional (introdução e eliminação).

---

Aula teórica 22

27 Novembro 2025, 11:30 • Maria João Antunes Dias Gouveia

Regras de eliminação e introdução de implicação. Método de demonstração por redução ao absurdo. 

---

Aula 23

26 Novembro 2025, 08:00 • Marko Stosic

Ficha 10, exercícios 2,3,4

---