Gelen Klasik Mantık , bir varsayımsal tasım bir olan geçerli çıkarım kuralı bir biçimini alır, tasım bir sahip ima bir ya da ikisi için tesislerinde .
Uyanmazsam işe gidemem. İşe gidemezsem paramı almayacağım. Bu nedenle, uyanmazsam ödeme almayacağım.Gelen önermeler mantığı , bir varsayımsal tasım bir adıdır çıkarsama kural geçerli (genellikle kısaltılmış HS ve bazen de denilen zincirin argüman , zincir kuralı , ya ilkesine içerme geçişlilik ). Varsayımsal syllogism kurallarına biridir Klasik Mantık hep bazı sistemlerde kabul edilmemektedir olmayan klasik mantık . Kural aşağıdaki gibi ilan edilebilir:
burada kural, " " ve " " göründüğünde, " " sonuç satırına yerleştirilebilir.
Varsayımsal kıyas, aynı zamanda bir tür kıyaslama ve aynı zamanda bir çıkarım kuralının adı olduğu için, ayırıcı kıyaslama ile yakından ilgilidir ve benzerdir .
Varsayımsal kıyas kuralı sıralı gösterimle yazılabilir:
burada a, metalogical sembol aracı a, sonucudur arasında , ve
bir totoloji veya önermesel mantık teoreminde ifade edilir :
nerede , ve resmi bir sistemde ifade edilen önermelerdir.