Propositional functions, variables and predicates
Notation for propositional functions
Universe of discourse
The universal quantifier
Examples of universal quantification
The existential quantifier
Expressions with several quantifiers
Bound and free variables
Does the order of the quantifiers matter?
Logical equivalences with quantifiers
Course Home Page
Instructor's Home Page