This process continues till we reach the conclusion The symbolic equivalent of the argument is to prove by deduction that p ⇒ q
is true Starting with p, we deduce p ⇒ r ⇒ s ⇒ … ⇒ q This implies that “p ⇒ q” is true