, 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 (i)
Proof by contradiction (Reductio Ad Absurdum) : Here, we start with the
assumption that the given statement is false By rules of logic, we arrive at a
conclusion contradicting the assumption and hence it is inferred that the assumption
is wrong and hence the given statement is true