SOLUTION: Construct proofs for the following using the basic rules of inference. a. C ⊃ (∼A ∨ B), C ∙ ∼B, /∴ ∼A

1.  C -> (~A v B)

2.  C & ~B                   |∴ ~A

3.  C                  2.    Simplification

4.  ~A v B             1,3.  Modus Ponens

5.  ~B                 2.    Simplification

6.  ∴ ~A               4,5.  Disjunctive Syllogism

I > Ø