Tasım
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. Tasım temel kategori olarak 3 bölümden oluşur Majör Terim Minör Terim Sonuç
Aristoteles'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.