Need help on proofs

[foleamb]

I am taking Philosophy-Logic and am having a hard time with proofs. Here are my problems and my attemps please let me know which are incorrect and possibly what step I am doing incorrectly.

A

1) R>~B
2) D v R
3) B /D

4) R 1,SIMP
5) DvR 2,4 CONJ
6) D 5, SIMP

B

1) (OvM)>S
2) ~S /~M

3) (MvO)>S 1,COMM
4) M 3,SIMP
5) ~M 2,4 MT

C

1) Qv(LvC)
2) ~C /LvQ

3) (QvL)vC 1, ASSOC
4) QvL 3, SIMP
5) LvQ 4, COMM

Any help would be greatly appreciated.

[HallsofIvy]

Unfortunately, what you have written makes no sense to me. It would help if you would specify exactly what are the hypotheses and conclusion in each proof. Also, what do you mean by "SIMP", "CONJ", "ASSOC", and "MT"? Don't assume that everyone will understand your abbreviations.

[Epsilon=One]

Don't assume that everyone will understand your abbreviations.Good advice for the symbolism of all mathematicians.

[foleamb]

These are rules of inference and rules of replacement.

MT - means modus tollens

CONJ- means conjunction

SIMP - means Simplification

ASSOC - Associativity

DN - means double negation

DS - means disjunctive syllogism