I must be the only one struggling a bit because there aren't any other threads on the assignment.
I'm only stuck on question 2.4. I can get ~PVQ from P->Q but now I just need to get P->Q from ~PVQ. I just want a small hint, I want to be able to figure out as much of it on my own as possible.
The difficult part for me was getting ~P v Q from P -> Q, it took me 20 steps. So the hard part is over.
Obviously you need another subproof for ~P v Q where you derive P -> Q. In this you need another subproof P where you drive Q. In that you need another two subproofs, but telling you which would be giving it away.
Its not too much help but not quite enough. Friday's not the best day to think about an assignment though so maybe I'll get it right with the help that you've given me over the weekend.
I've just had a look at the solution to number 13. It is given as Larger(a,c) ^ Larger(e,c) ^ !(Large(a) v Large(e)).
I thought that all of these had to make use of the propositional connectives. My understanding of this is that it should include the use of -> or <->.
I've just spent more than an hour on this single question - dumb ass
Finally done, and quite a killer this one was.
Question 2.4 was a little tricky, and I resolved to using Taut Conn in the last half of the proof.
Thanks to all those who helped.