T11_16

10 Novembro 2023, 09:30 • Mário Jorge Edmundo

---

Forma normal prenexa, exemplos;  solenização, exemplos; satisfazibilidade, skolemização e satisfazibilidade.

TP11_15

10 Novembro 2023, 08:00 • Mário Jorge Edmundo

---

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

TP12: tt-equivalências, inferências e demonstrações formais envolvendo os conectivos lógicos condicional e bicondicional.

9 Novembro 2023, 10:30 • Mário João de Jesus Branco

---

Exerc. 57(4), 47(1)-(5), 54(3) formalmente, 54(7) formal e informalmente e 75(1).

TP14: Expressão de conectivos lógicos à custa de outros.

8 Novembro 2023, 09:30 • Mário João de Jesus Branco

---

Exerc. 61, 62 e 57(1).

TP13_14

8 Novembro 2023, 08:00 • Mário Jorge Edmundo

---

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