Outline of This Chapter

Subjects and Predicates

Variables and Quantifiers

Well-formed Formulas of Predicate Logic

Categorical Propositions

Symbolizing Complex Categorical Propositions

Symbolizing Non-categorical Propositions

The Domain of Quantification

Relational Predicates

Inference and Equivalence Rules

Proofs in Predicate Logic