Hints for Exercise 7.3

Just like the previous one, you already have a negation.
Again, what you need to do is write down a formula for it to be the negation of.
You know what that formula is. (Hint: think of premise one without the snake.)
Again, what you need is a conjunction, and you do know how to conjoin.
But, where do you get the "~Gc" to do that conjoining?
Hint: what's the one special thing that IP lets you do?

Click here for the answer.

Copyright 2005 by Martin C. Young

This Site is Proudly Hosted By:
WEBster Computing Services