next up previous
Next: Generalising the Identities Up: The Relationship between and Previous: The Relationship between and

The Relationship between
tex2html_wrap_inline84 and tex2html_wrap_inline120

Conversely, suppose we have that tex2html_wrap_inline160 tex2html_wrap_inline120 tex2html_wrap_inline162 is a tautology and that tex2html_wrap_inline202 contain atomic sentences P,Q,R etc.. Then for all possible assignments, the sentence comes out true.


tabular181

Therefore they have the same truth table. So tex2html_wrap_inline160 tex2html_wrap_inline84 tex2html_wrap_inline162.

tex2html_wrap250

+

tex2html_wrap190

= tex2html_wrap254

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