This is not Homework.l do this for fun and expand my learning.
I am obviously having difficulties with SD+,thus l post many problems.
I am using the Logic Book
Problem has be done in SD+
Using goal analysis l thought the best idea is to create a disjunction from 1 or 2 to get F. I thought Contradiction because of J is not the premises. But will try ND.
My partial attempt
Derive F =>J
6.| G 5,2 =>E
7.|~F v ~~G 6 DN
8.~(F & ~G) 7 DeM
I request help on how to do it with