Aula 18

19 Novembro 2024, 10:00 • Maria João Antunes Dias Gouveia

Demonstração de implicações: o método de demonstração direto e o método de demonstração por contrarrecíproco. As regras de introdução e de eliminação da implicação.

---

Aula 19

18 Novembro 2024, 13:30 • Maria João Antunes Dias Gouveia

Resolução de exercícios da ficha de trabalho semanal.

---

TP13

18 Novembro 2024, 13:30 • Diogo Miguel Teixeira Estevinho Pires

Resolução dos exercícios 4 da Ficha 9 e 2 da Ficha 10.

---

Aula 18

18 Novembro 2024, 11:00 • Maria João Antunes Dias Gouveia

Resolução de exercícios da ficha de trabalho da semana.

---

TP15 - Ficha 9

18 Novembro 2024, 08:00 • Ana Catarina Cristino Monteiro

Resolução dos exercícios 2 e 4 b), c) e d)

---