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

Types of Qiyas: Istithna’i and Iqtirani