© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Propositional Logic Syntax (cont.)
•connectives (Ù,Ú,Þ,Û) - logically combine sentences
– PÙQ, PÚQ, PÞQ, PÛQ are complex sentences
–e.g. PÞØQ: “If there is a mine at (1,2), then there is not a mine at (2,2).”
•parentheses - disambiguates grammar
–e.g. PÞØQ ÙQ
–PÞ(ØQ ÙQ) vs. (PÞØQ) ÙQ