A valid argument form guarantees all its premises are true.
Types of Qiyas: Istithna’i and Iqtirani