TP13

13 Novembro 2024, 08:00 • Diogo Miguel Teixeira Estevinho Pires

Resolução dos exercícios 1 e 3 da Ficha 9.

---

Aula 17

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

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

---

Aula 16

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

Disjunções - regras de introdução e de eliminação. Exemplos simples de demonstrações por casos. Condicional (implicação material): tabela de verdade e determinação do valor de verdade de algumas implicações. Esclarecimento de algumas dúvidas evidenciadas em alguns dos mini-testes.

---

TP13

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

Resolução de 3 exercícios extra sobre relações de ordem parcial.

---

Aula 17

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

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

---