Aula 20

17 Novembro 2025, 13:30 • Marko Stosic

Segundo mini-teste

---

Aula teórica 18

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

Elementos da Lógica Proposicional. A conjunção: tabela de verdade, regras de eliminação e de introdução.

---

Aula 19

12 Novembro 2025, 08:00 • Marko Stosic

Ficha 7. Exercícios 7,4

---

Aula teórica 17

11 Novembro 2025, 10:00 • Maria João Antunes Dias Gouveia

Relações de ordem parcial e sua representação por diagramas de Hasse.

---

Aula 18

10 Novembro 2025, 13:30 • Marko Stosic

Ficha 7: exercícios 4,5,10

---