Hence, from the proof by cases, (r  ∨  s  ∨  t) ⇒ q is proved, i e , p ⇒ q is proved Indirect Proof Instead of proving the given proposition directly, we establish the proof
of the proposition through proving a proposition which is equivalent to the given
proposition