A valid argument form guarantees all its premises are true.

Types of Qiyas: Istithna’i and Iqtirani