I really can't figure this derivation out.
I need to derive contradicting sentences to show that it is inconsistent, I can tell it is since is always true, which means ~(F v G) is true, so F and G both have to be false individually, which would contradict the since ~G would be true and F is false.
However, I don't know how to formulate this in SD (going by The Logic Book 5th edition by Bergmann). Can anyone help?
Thanks in advance!