I am using SD+. Most of the derivation has to be done using it
I am finding this one tricky
I request help or hints to solve it
Derive L => H
1.~L v (~Z v ~U). Assume
2.(U & G) v H Assume
I am thinking the best way is ND.Set up a derivation starting with L and go from there . I will use DS to get H out of the assumptions. But from assumption 2 I need ~( U&G) as ~P to do it, and that is where I am stuck.
I don’t think making so many assumptions helps
Here are some steps.
4.| L. Assume
5.||. ~L Assume ?
6.|| (~Z v ~U ) 5,1 DS ?
7.||~(Z & U) 6 DeM. ?
I feel I am going around in circles.