In mathematics, proof by contradiction refers to the proof that
validates a proposition or establishes a truth by showing that when
the proposition is assumed to be false, it can lead to a contradiction.
It is an indirect kind of proof that is based on the fact that when
something leads to a contradiction, it is not possible for it to be true.
Thus, in such a case, the opposite must be true (An introduction to
proof by contradiction. NRICH, 2021).
Proof by contrapositive, on the other hand, refers to the rule of
inference that is created by negating both the terms in a conditional
statement and reversing the very direction of the inference. Thus,
instead of assuming that the hypothesis and associated conclusion is
true, the technique makes the assumption that the conclusion is false
and subsequently proves that the associated hypothesis is also false
