Identity and Quantifier Rules for Quantifier Logic

By Mark Zegarelli

Part of Logic For Dummies Cheat Sheet

Quantifier logic encompasses the rules of sentential logic and expands upon them so that you can write whole statements with logic symbols. Those symbols come into play when you work with identities, or interchangeable constants. The rules of identity are shown here:


And, when talking about identities, you can quantify statements, using the rules in the following table: