Is stating “If the contradictory holds, absurdity follows” sufficient?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

• Yes, every conditional proves itself
• Only if expressed in Arabic
• Because the conclusion is already true
• No, the entailment itself must be supported