Proof by contrapositionconceptRelated → Direct proofRelated → Proof by contradictionRequires → Logical implication