next up previous contents index
Next: 2.3 Material implication Up: 2 Truth-Functional Connectives Previous: 2.1 And   Contents   Index

2.2 Or

\begin{displaymath}
\begin{array}[t]{\vert c\vert c\vert c\vert\vert c\vert}
\hl...
...\:F\:} & \mathrm{\:F\:} & \mathrm{\:F\:} \\
\hline
\end{array}\end{displaymath}

  1. He rented either a mid-size or an economy car. [If in fact he rented both, this is still true]
  2. Either there's no bathroom in this house or it's on the second floor. [In fact both statement can't be simultaneously true, but that's not due to the meaning of or]
  3. You can have either the white one or the red one. [intended meaning: but not both]



Jean Mark Gawron 2009-02-16