Tasım veya kıyas (Eski Yunanca: συλλογισμός) mantıkta, birisi orta terim olmak üzere "öncül" adı verilen iki önerme ile bu iki öncülden zorunlu olarak çıkarsanan ve ardıl adı verilen üçüncü bir önerme biçimde ifade edilen ya da edilebilen kanıttır.

Aristotales'e göre her terim şu formdadır; "Her A, B'dir", "Bazı A'lar, B'dir", "Hiçbir A, B değildir" veya "Bazı A'lar, B değildir". Burada A bir terim, B ise başka bir terimdir."Bütün A'lar, B'dir" ve "Hiçbir A, B değildir" universal önerme; "Bazı A'lar B'dir" ve "Bazı A'lar B değildir" ayrıntı önermedir.

Daha fazla bilgi: tr.wikipedia.org