(Klasik mantıkta) Tasımın öncüllerinden büyük olanı büyük terimi içinde bulunduranı ve önce geleni. Koşullu tasımda: Koşulun öne sürüldüğü önerme.M - P İnsanlar ölümlüdür, (büyük önerme)S - M Sokrates insandır, (küçük önerme) S - P Sokrates ölümlüdür, (sonuç)
TDK Felsefe Terimleri Sözlüğü