Lecture P02

18 Setembro 2026, 08:00 • Telmo Peixe

Resolution of exercises: 1.2.4, 1.2.6, 1.4.2 (g), 1.6.1 (b), 1.6.3 (b,d), 1.7.1 (b), 1.7.3.

---

Lecture P01

11 Setembro 2026, 08:00 • Telmo Peixe

1. Presentation.
2. Resolution of exercises: 1.2.2, 1.2.5, 1.2.7, 1.4.1, 1.4.2 (a,b,c,d), 1.4.3 (a,b), 1.6.2.

---

Elements of Bivalent Logic 2

8 Setembro 2026, 12:00 • FILIPE SERRA DE OLIVEIRA

Implication. Definition and properties. Contrapositive implication.

---

Elements of Bivalent Logic 1

7 Setembro 2026, 10:00 • FILIPE SERRA DE OLIVEIRA

Presentation of the course unit.Propositions and Designations.

Operators on propositions: equivalence, disjunction, conjunction.

---