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: