Predicate Logic·Rules·Lesson 4 of 5

Quantifier Rules in Proof

Introduces the four quantifier inference rules (universal instantiation, existential instantiation, universal generalization, existential generalization) and explains the restrictions that each rule imposes.

← Multiple Quantifiers and Scope Predicate Logic: Quantifiers, Predicates, and Formal Structure Capstone: Quantified Reasoning in Mixed Arguments →

Student Pro unlocks this

This lesson is part of the full curriculum.

Free accounts get the entire Foundations track plus the first lesson of every other unit. This lesson is in Predicate Logic: Quantifiers, Predicates, and Formal Structure — the rest of the unit is Student Pro.

Student Pro also unlocks unlimited detailed feedback, full spaced repetition, and personalized recommendations.

See pricing Sign in first Back to curriculum