Lecture Note on Discrete Mathematics: Predicates and Quantifiers

This lecture note supplements the treatment of predicates and quantifiers given in standard textbooks on Discrete Mathematics (e.g.: [1]) and introduces the notation used in this course.
We will present central concepts that are important, when predicate logic is used for specification and verification of algorithms. The note is partly based on [2] and [3].