Tasım, kanıtlamalarda sıklıkla başvurulan bir akıl yürütme biçimidir. Anlatımlarda, kanıtlara dayanarak sonuçlar çıkarma tümdengelimsel akıl yürütme işini belirtir. Herkesin bildiği
“Tüm insanlar ölümlüdür”. (Büyük önerme)
“Sokrates insandır”. (Küçük önerme)
“Sokrates de ölümlüdür.” (Çıkarım)
üçlü yapısı bir tasımdır. İlk iki önerme üçüncü önermenin öncülleridir. Birincisine büyük önerme denir, genel bir kuralı, durumu ya da ilkeyi belirtir (Her
insan ölümlüdür). İkincisine küçük önerme denir, çünkü genel önermeden yola
çıkarak tikel bir durumu belirtir (Sokrat da insandır). Sonuncu önerme ise bir
çıkarım ve sonuçtur (Sokrat da ölümlüdür). Olası öncüller üzerine kurulur ve yalnızca gerçeğe benzer bir sonuca ulaşır. Tasım iki biçimde olabilmektedir: evrensel
- tikel karşıtlığı üzerine ya da olumlu- olumsuz karşıtlığı üzerine.