TP13_2

25 Setembro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 10 e 11 e exercícios 1 (b), 2(b), 3(b), 4 e  5 das Notas de LPO.

TP14: Termos fechados.

22 Setembro 2023, 11:30 • Mário João de Jesus Branco

---

Exercício suplementar sobre termos fechados. Exerc. 1(a), 3(a) e 2(a) das pág. 5 e 6 das notas teóricas. Notação prefixa e notação infixa.

T_2

22 Setembro 2023, 09:30 • Mário Jorge Edmundo

---

Símbolos de igualdade, sentenças atómicas, exemplos. Interpretação de uma LPO, a semântica das sentenças atómicas, exemplo; a semântica da igualdade; os conectivos booleanos, a semântica dos conectivos booleanos, exemplos.

TP11_1

22 Setembro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 1(a), 2(a), 3(a) e parte do 4 das Notas de LPO.

TP12: Termos fechados.

21 Setembro 2023, 10:30 • Mário João de Jesus Branco

---

Exerc. 1(a) e 3(a) das pág. 5 e 6 das notas teóricas.