What does affirming the antecedent do?

Types of Qiyas: Istithna’i and Iqtirani

• Establishes the then-part from the if-part
• Proves the if-part from the then-part
• Negates the antecedent
• Eliminates all possibilities