If P then Q; not P. Must not Q hold?

Types of Qiyas: Istithna’i and Iqtirani