Predicates and Quantifiers

Click here to start

Table of Contents

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

Other Lectures

Course Home Page

Instructor's Home Page