If P then Q; not Q; therefore not P is valid.

Types of Qiyas: Istithna’i and Iqtirani