# I am stuck on SD+ style proof and need to know how to do it

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

3.Z. 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.

Note:

• The hint is the same already provided in MSE: assume L and derive H from 2nd premise using Disjunction Elim. Mar 20, 2021 at 8:43
• That account is closed cause a question l asked was not received well Mar 20, 2021 at 13:54
• Why are you using incorrect terminology? Unless the problem STAYES there are ASSUMPTIONS you are not to think all.premises are ASSUMPTIONS. There is a distinction between premises that are already KNOWN versus ASSUMPTIONS. CLEARLY an assumption is a statement you are unaware of it's truth value whereas if I stated a fact that is NOT an ASSUMPTION. What textbook are you using? All logic systems do not allow the same rules. You would need to state clearly what set of rules you are using. That is determined by which textbooks are used. Some math proofs use natural deduction rules for instance. Mar 20, 2021 at 15:05
• I am not using incorrect terminology. What does STAYES mean ? Mar 20, 2021 at 17:23
• The Logic Book. Premises are taken as assumptions and we prove the conclusion. For example on page 185 look at the derivation Derive D vB Other than the first 3 assumptions, they assume ~D and derive a contradiction for ~F for the first part of vE Mar 20, 2021 at 17:24