Introduction to Logic Online Course, Week 5: Natural Deduction Proof Method: Rules of Implication II