Kategorik, hipotetik ve disjunktif tasım mantıkta farklı önerme türlerini içeren çıkarım yöntemleridir. 1. Kategorik Tasım: İki öncül ve bir sonuçtan oluşan, önermelerin tümünün kategorik (basit) önermelerden oluştuğu çıkarım türüdür. 2. Hipotetik Tasım: Büyük öncülü hipotetik (koşullu) önerme olan tasımdır. 3. Disjunktif Tasım: Büyük öncülü disjunktif (ayrık) önerme olan tasımdır.