Formal Proof of arguments.....help with logic!! Thanks

Question

How to construct a formal proof of these arguments?

Thanks a lot for your help, guys!!!!

1) A⊃B

A v C

~C

:. B

2) (M⊃N)∙(O⊃P)

~N v~P

~(M ∙O)⊃Q

:.Q

3) (O v N)⊃R

P v ~R

~P

:.~N

Thanks again

Answer 1

your conditionals didn't print.  I'll use →, which is alt-26.

1)

1. A→B

2. A v C

3. ~C

----------

4. A .......... 2,3 DS

5. B .......... 1,4 MP

2) you must have "destructive dilemma", but I'll assume not.

1. (M → N) • (O → P)

2. ~N v ~P

3. ~(M • O) → Q

----------------------

4. (~N → ~M) • (~P → ~O) ... 1, transposition twice

5. ~M v ~O ........................... 4,2 const. dilemma

6. ~(M • O) ........................... 5, DeMorgan

7. Q ..................................... 6,3 MP

3)

1. (O v N) → R

2. P v ~R

3. ~P

---------------------

4. ~R .................... 2,3 DS

5. ~(O v N) ............ 1,4 MT

6. ~O • ~N ............. 5 DeMorgan

7. ~N • ~O ............. 6 communtative

8. ~N .................... 7 simplification