Lecture 4

15 Setembro 2025, 11:30 • Alexandra Symeonides

1. Bivalent Logic
1.5 Conditions and sets.
Russel paradox, quantifiers and sets, second De Moran laws, domains of designations and conditions. 
Exercises 1.6.2 a)b)c)d)

---

Lecture 3

10 Setembro 2025, 11:30 • Alexandra Symeonides

1. Bivalent logic
Quantification: universal and existencial quantifiers, negations, multiple quantification.
Ex. 1.4.1 a)b); 1.4.2 a)b); 1.4.2 c)d); 1.4.3 a).
Other exercises solved with the students: 1.2.3, 1.2.6, 1.4.1, 1.4.2 f)g), 1.4.3

---

Lecture 2

10 Setembro 2025, 10:00 • Alexandra Symeonides

1. Bivalent Logic
Implications: properties, alternative form. Contrapositive implication.
Ex. 1.2.2, 1.2.5, 1.2.7
Other exercises solved with the students: proof of Prop. 1.3 Distributivity.

---

Lecture 1

8 Setembro 2025, 11:30 • Alexandra Symeonides

Introduction to the course: Programme, Bibliografy, Assessment.
Elements of Bivalent Logic: Designations, Propositions.

---