Right, I know I'm overlooking something really simple here, and it frustrates me a lot.
My primary assumption is:
~A v B
and I want to derive:
I started of with a sub-goal analysis method, then got stumped fairly quickly.
I then tried to start from the top top...
In short, what can you derive from '~A v B'? As far as I know, without any other information you can't derive anything at all... but to solve this derivation, surely you must derive something from it?
It seems like it should be such a simple derivation as well, what am I ignorantly missing?
Thanks a bunch chaps.