1.
büyük öncülün koşul önermeden, küçük öncülün kategorik önermeden oluştuğu tasım şeklidir. eğer küçük önerme olumsuz ise modus tollens, olumlu ise (bkz: modus ponens)dir. örnek :
duman varsa, ateş vardır
duman yoktur
öyleyse ateş yoktur
duman varsa, ateş vardır
duman yoktur
öyleyse ateş yoktur
devamını gör...