T11_15

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

Fórmulas logicamente equivalentes, propriedades, regras de substituição para fórmulas; contra-exemplos; exemplos de traduções equivalentes.

---

TP11_14

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

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

---

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

6 Novembro 2023, 12:00 • Mário João de Jesus Branco

Exerc. 50 (mais algumas alíneas), 61, 62 e 57(1)-(3).

---

TP13_13

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

Resolução dos exercícios 75 e 77.

---

TP14: Os conectivos lógicos condicional e bicondicional.

3 Novembro 2023, 11:30 • Mário João de Jesus Branco

Exerc. 48 e 50(1)-(9).

---