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 ...

Introduction to Logic: Logical Operators -- negation, conjunction, disjunction, XOR, conditional, biconditional. Precedence of logical operators. The conditional operator, examples of translating ...

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 ...