Identity and Quantifier Rules for Quantifier Logic

Part of the 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:

image0.jpg

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

image1.jpg

  • Add a Comment
  • Print
  • Share
blog comments powered by Disqus

SERIES
Logic For Dummies Cheat Sheet

Advertisement

Inside Dummies.com