Klasik mantık, kurucusu Aristoteles'in ortaya attığı, kıyasa dayalı mantık sistemidir.

İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) denir.

İki önermenin tikel evetleme eklemi olan "ve ∨" ile bağlanmasıyla oluşan bileşik önermeye "veya bağlacı ile yapılan bileşik önerme" denir.

Basit önermelerin (öncüllerin) bağlaçlar yardımıyla birleştirilmesiyle oluşan yeni önermeye bileşik önerme denir.

n tane elemana sahip bir kümenin, kendisi dahil alt kümelerinin sayısı iki üzeri n kadardır.

Saltıklık, hiçbir ilişkiyi gerektirmeksizin kendiliğinden var olan, mutlak olan demektir. Bağımsız, göreli olmayan ve kendi başına tam sayılan şeydir...

Sokrates öncesi düşünürlerin evren hakkında duyduğu ateşli merak onları "Her şey nereden geliyor?" sorusuna yanıt aramaya, asıl, nihai ilkeyi bulmaya ..

Kümelerde birleşim işleminin özellikleri şunlardır: Tek kuvvet, değişme, etkisiz eleman, alt küme ile kesişim, birleşme, dağılma.