In discrete mathematics, predicates and quantifiers are fundamental concepts that allow us to express statements about sets, elements, and their relationships in a formal and logical manner. These ...

Number systems, propositional calculus with truth value tables, a little bit about quantifiers and about how to formulate a proof, elementary theory of sets, relations and functions, inductively ...