next up previous
Next: The Relationship between and Up: No Title Previous: Logical Connectives Biconditional

The Relationship between
tex2html_wrap_inline84 and tex2html_wrap_inline120

Suppose, for two sentences tex2html_wrap_inline160 and tex2html_wrap_inline162, we have

tex2html_wrap_inline160 tex2html_wrap_inline84 tex2html_wrap_inline162

Then clearly, they take the same truth value for all possible interpretatations. For this reason, the sentence

tex2html_wrap_inline160 tex2html_wrap_inline120 tex2html_wrap_inline162

will always come out true for all possible interpretations, i.e. will be a tautology.


tabular177

tex2html_wrap190




Mike Rosner
Fri Oct 30 14:59:11 MET 1998