next up previous contents index
Next: 3.4 Logical Equivalence Up: 3 Statement Logic Classification Previous: 3.2 Contingent sentences   Contents   Index

3.3 Contradictions

Some sentences have truth tables that always make them false. Such sentences are called contradictions, because they can't help but be false:

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

Another example:

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



Jean Mark Gawron 2009-02-16