If P then Q; Q. Must P hold?

Types of Qiyas: Istithna’i and Iqtirani

• Always
• No; Q may occur for another reason
• P must be false
• Both must be false