Hints for Exercise 7.3
Just like the previous one, you already have a
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: