Formulas in propositional logic are composed of:

• Atoms or propositional variables : P, Q, S
• Connectives (in order of precedence):

  Negation	¬ or &tilde	not
  Conjunction	&and	and
  Disjunction	&or	or
  Implication	&rarr or &sup	implies or if ... then
  	&harr	iff (if and only if)

• Constants:

  True	True or filled-in box
  False	□ (``box'')

Contents    Page-10    Prev    Next    Page+10    Index