I need some mad help solving these 3 equations:

1.) W>(PvC)...Premise
~P...Premise
W....Premise

C=Conclusion

2. Cv(HvR)..premise
Sv(RvE)..Premise
~C...Premise
~S...Premise

H>E=Conclusion

3. ~Dv(L>~F)..Premise
~D>~F...premise
~~F...Premise

~L=Conclusion

ANY help is appreciated. I do not understand this stuff -.-Need to get to the conclusion.

2. ## Re: Logic help please!

First those are not "equations" and, second, they cannot be "solved". It looks to me like these are "arguments" and you want to show that they are, or are not, "valid".

If you do not know anything about these things, such as what a "valid argument" is, where did you get these problems?

3. ## Re: Logic help please!

Originally Posted by Hidzi
I need some mad help solving these 3 equations:

1.) W>(PvC)...Premise
~P...Premise
W....Premise

C=Conclusion

2. Cv(HvR)..premise
Sv(RvE)..Premise
~C...Premise
~S...Premise

H>E=Conclusion

3. ~Dv(L>~F)..Premise
~D>~F...premise
~~F...Premise

~L=Conclusion

ANY help is appreciated. I do not understand this stuff -.-Need to get to the conclusion.
1. W → (P ∨ C)
2. ~P
3. W
4. Show C
5. P ∨ C 1, 3, MP
6. C 2, 5, DS
Q.E.D.

1. ~D ∨ (L → ~F)
2. ~D → ~F
3. ~~F
4. Show ~L
5. D 2, 3, MT
6. L → ~F 1, 5, DS
7. ~L 3, 6, MT
Q.E.D.

They are all easy.