Proofs I

Construct proofs for each of the following arguments without using conditional proof or indirect proof. Convention: "///" separates the premises from the conclusion. You may do these with  paper and pencil, or you may download and use the general purpose proof form.

1. ~K, C ⊃ (A & B), K v C, /// A & B
   
2. A ⊃ B, B ⊃ A, B, /// A & B
   
3. R & (A ⊃ C), C ⊃ B, /// A ⊃ B
   
4. A ⊃ (C v D), ~(C v D), /// B v ~A
   
5. H ⊃(K ⊃ L), N ⊃ M, N, /// (K ⊃ L) v M
   
6. (H ⊃ B) & (J ⊃ A), R & (H v J), /// B v A
   
7. A v ~B, ~A, /// ~A & ~B
   
8. K ⊃ L, L ⊃ M, (K ⊃ M) ⊃ M, /// M
   
9. A ⊃ B, A v ~Z, ~B /// ~Z
10. L ⊃ (M ⊃ P), (P ⊃ R) v ~(M ⊃ P), R & ~(P ⊃ R) /// ~L v (M ⊃ P)
11. C v ~E, ~E ⊃ (B & ~C), T ⊃ ~C, C ⊃ E, ~C /// B
12. L ⊃ (M ⊃ R),  (~L ⊃ S), (~S & M), (Q ⊃ T)  /// (R v T)
13. (R ⊃ P) v ~S, (R ⊃ P) ⊃ (A & ~B), ~S ⊃P, ~P  /// ~B
14. (A & B), L ⊃ (B ⊃ U), (A v R) ⊃ L /// U
15. (~A & B) ⊃ C, ~P ⊃ B, ~S, (~P & ~A) v S /// C v (A v B)
16. (P v ~Q) v ~R, (S v  T) ⊃ ~~R, ~P & S /// ~Q
17. R ⊃ (~B ⊃ ~C), ((L v ~Q) & R), (L ⊃ ~R), (~Q ⊃ Z) /// (~C v Z)