(Tasımda) Öncüllerden küçük olanı küçük terimi içinde bulunduranı ve doğal olarak büyük önermeden sonra geleni. (Koşullu tasımda) Büyük önermede öne sürülen koşulun gerçekleştiğini ya da gerçekleşmediğini bildiren önerme: Bir cisim elmas ise camı keser. Bu cisim camı kesmiyor. Öyleyse bu cisim elmas değil.
TDK Felsefe Terimleri Sözlüğü