Example: #15/17(e), Section 1.1:

Verify by constructing truth tables that the following wffs are tautologies: tex2html_wrap_inline135

  table56

Since the two tables agree, tex2html_wrap_inline135 .


LONG ANDREW E
Fri Aug 23 10:16:52 EDT 2002