Istithna’i reasoning explicitly affirms or denies a conditional component.

Types of Qiyas: Istithna’i and Iqtirani