A very annoying and simple logic derivation problem.

Hello everyone!

Right, I know I'm overlooking something really simple here, and it frustrates me a lot. :D

My primary assumption is:

~A v B

and I want to derive:

A ⊃B

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. (Itwasntme)