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 vardır
öyleyse ateş vardır
duman varsa, ateş vardır
duman vardır
öyleyse ateş vardır
devamını gör...