Beş tümel şunlardır: Cins, tür, ayırım, özgülük, ilinti.

Tam Girişimlik: Kavramlardan yalnız biri, diğerinin tüm bireylerini içine alıyorsa aralarında tam girişimlik vardır. Örnek olarak;

Bazı hayvanlar kuştur.
Bütün kuşlar hayvandır.

Batı mantıkçılarına göre “Gerçek Tanım” nesnelerin tanımıdır. Bir şeyin neden ibaret olduğunun tanıtılmasıdır. Doğru cevap B'dir.

Bölmenin Koşulları
1- Bölme tam olmalıdır. Bölünenin kaplamına giren hiçbir şey bölme dışı bırakılmamalıdır. Bu şart her iki çeşit bölme için geçerlidir.
2- Bölümlerden biri, bölünenin aynı veya ona aykırı olmamalıdır. Bu koşul, ikinci tür bölme için geçerlidir. Örneğin çizgi ya doğru olur ya eğri olur, bölmesi doğrudur, ama çizgi ya doğru ya daire olur, bölmesi yanlıştır.

Doğru cevap D'dir.

Özgülü

Kategorik

Bir önerme ya doğrudur veya yanlıştır olarak ifade edilen mantık ilkesine üçüncü halin imkansızlığı denir. 

Üçünçü halin olanaksızlığı

Ortaçağ Batı Mantıkçıları, Aristoteles’ten esinlenerek dört çeşit kiplik kabul etmişlerdir; zorunlu, olumsal, mümkün, imkânsız. A, B, D ve E, şıkkındaki örnekler bunlara uygunken C şıkkındaki örnek alakasızdır. Aynı zamanda zaten her kedinin yırtıcı olması gerekmez.

Kavram bir şeyin, objenin zihindeki tasarımıdır. Buna fikir, düşünce de diyebiliriz. Kavram, dil ile ifade edilirse terim adını alır. Yani, kavramların sözle ifade edilmesi terimdir. Doğru cevap E'dir.

Özlük

Mantık biliminin kurucusu Aristoteles’tir. (M.Ö. 384-322), klasik mantık denince Aristoteles’in kurduğu mantık anlaşılır. 

Bileşiği açık olan önermeler dörde ayrılır. Bunlar; koşullu, bağlantılı, nedenli ve ekli önermelerdir. B şıkkında verilen karşılaştırmalı önerme ise bileşiği gizli olan önermelerdendir. 

Mantıkta terim, kendi başına bir anlam ifade eden en küçük birimdir.

Özgülü önermelerdir. 

Tanım Koşulları
• Tanım tam olmalıdır. Tanımı yapılanın bütün bireyleri tanımın içine girmeli, dâhil olmayanlar dışarıda bırakılmalıdır. Yani tanımda tanımlanması gereken bir başka birey kalmamalıdır.
• Bir şeyi kendisinden daha açık olmayan başka bir şeyle tanımlamamalıdır.
• Tanımda kısır döngü olmamalıdır. Yani, bir şeyin bilinmesi kendisine bağlı olan bir şeyle tanımlanmamalıdır.
• Tanım, tanımlanan bir özne ile tanımlayan bir yüklemden oluşan çelişkisiz bir önerme olmalıdır.
• Tanım, ne çok geniş, ne çok dar olmalıdır.