5 Notation

• or (disjunction): $\vee$, || in C, or in plain text
• and (conjunction): $\wedge$, && in C, and in plain text
• not (negation): $\neg$, ! in C, not in plain text
• implies (``if''): $\rightarrow$, implies in plain text
  • if X, then Y
  • $X \rightarrow Y$
  • X implies Y
• therefore (deduction): $\vdash$, therefore in plain text
  • X and Y, therefore Z
  • $(X, Y) \vdash Z$

Of course, when you are doing you homework, it may be difficult to use the mathematical symbols. I accept their ``plain text'' representations.