next up previous contents index
Next: 3.3 Contradictions Up: 3 Statement Logic Classification Previous: 3.1 Tautologies   Contents   Index

3.2 Contingent sentences

Sentences like $ (p\rightarrow q) \rightarrow p$, parenthesized THIS way, are called contingent sentences, They are sometimes true and sometimes false.

\begin{displaymath}
\begin{array}[t]{l}
\fbox{
\begin{array}[t]{@{}\vert c\vert ...
...athrm{\:T\:} & \mathrm{\:F\:}\\
\hline
\end{array}}\end{array}\end{displaymath}

Another example:

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



Jean Mark Gawron 2009-02-16