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


3.1 Tautologies

Sentences like $ p\rightarrow (q\rightarrow p)$, parenthesized THIS way, are called tautologies, because they cant help but be true:

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



Jean Mark Gawron 2009-02-16