All students should type a natural deduction proof for exercises in Chapter 7.1, III, # 9 and 10. Construct the proof in the standard format presented in Chapter 7.1. Include the premises, number each sequence of the proof, provide full justifications w

All students should type a natural deduction proof for exercises in Chapter 7.1, III, # 9 and 10.  Construct the proof in the standard format presented in Chapter 7.1.  Include the premises, number each sequence of the proof, provide full justifications with rule of implication/inference abbreviations and sequence/line