Hints for Exercise 7.1



Find the two terms that contradict each other.
Get them onto their own lines by writing in the relevant premises and then ...
Well, you know how to get a term out of a conjunction, don't you?
Once you have your contradiction, you're done.

Click here for the answer.

Copyright 2005 by Martin C. Young

This Site is Proudly Hosted By:
WEBster Computing Services