If P then Q; not Q. What follows?

Types of Qiyas: Istithna’i and Iqtirani

• P
• Not P
• Q
• Nothing follows about P