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: