© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Propositional Logic
•Propositions - T/F atomic sentences about the world
•Boolean functions (Ø,Ù,Ú,Þ,Û) - negate and logically combine sentences
•Parentheses - disambiguates grammar