Varlıkların sınıflandırılmasına yönelik beş tümel vardır: cins, tür, ayrım, özgülük ve ilinti.

Bir tanım tam, açık-seçik olmalıdır ve tanım kısır döngü içermemelidir.

İki öncül ve bir sonuçtan oluşan çıkarımlara basit kıyas denir.

Mantıkta aklın dört temel ilkesi vardır: özdeşlik, çelişmezlik, üçüncü halin imkansızlığı ve yeter - sebep ilkesi.

Sembolik mantıktaki önermeler ile kümeler arasında kavramsal ve işlem özellikleri açısından önemli ilişkiler ve benzerlikler vardır. Örneğin kesişim i..

Küme, belirli bir tanıma uyan elemanlardan oluşan topluluktur. Bu gruba dahil her her varlığa kümenin elemanı denir.

Milet Okulu, felsefe tarihinde hem felsefenin başlangıç evresini oluşturur hem de doğa felsefesi olarak adlandırılan felsefi eğilimin öncüsüdür. Okulu..

Toplama, çarpma ve üssel işlemlerde bölümden kalanı hesaplamak için bazı pratik yöntemler geliştirilmiştir.