Which earlier topic is essential to reductio?

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

• Only synonyms
• Only highest genera
• Only analogy examples
• Rules of contradiction and exceptive syllogism