Dr Tom Kerns



Assignment hurley7.2

Natural deduction: rules of implication 2


This assignment is due to be completed between Sunday November 22nd and Saturday Nov 28th.

This exercise will be available from Nov 20th to Dec 3rd.

This set of exercises (7.2), and the next set as well (7.3), can be pretty time consuming, so you will probably want to start working on them early.

In this assignment you will learn:

  • the second four rules of implication
    • Constructive Dilemma (CD)
    • Simplification (Simp)
    • Conjunction (Conj)
    • Addition (Add)
  • how these four rules work when proving conclusions
  • how to construct proofs using all eight rules of implication


  • Read chapter 7.2 of Hurley’s A Concise Introduction to Logic.

Optional Learning Aids

  • The Learning Logic tutorial on chapter 7.2


  • Login to iLrn
  • Navigate to the assignment titled hurley7.2
  • Open that assignment and do those exercises
  • You may re-do the exercises a second time if you like, and a third time, but it won’t allow you to do them more than three times.
  • iLrn will record the score you earn on the final time you did the assignment.