AS: Proofs

3. Proofs by Deduction: Ex 2