TP12_14

10 Novembro 2022, 10:30 • Mário Jorge Edmundo

Resolução dos exercícios 64 e 68.

---

TP14_13

9 Novembro 2022, 09:30 • Mário Jorge Edmundo

Resolução dos exercícios 3, 14, 15 (TPC), 33 e 37.

---

T_14

8 Novembro 2022, 10:30 • Mário Jorge Edmundo

A semântica das fórmulas, condições, condições universais e condições possíveis. A semânticas das sentenças; exemplos.

---

TP12_13

7 Novembro 2022, 12:00 • Mário Jorge Edmundo

Resolução dos exercícios 3, 14, 33 e 37.

---

TP14_12

4 Novembro 2022, 11:30 • Mário Jorge Edmundo

Resolução dos exercícios 75 (1,2), 76 e 77.

---