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

Bir kıyasın geçerli olabilmesi için bazı kurallara uyulmalıdır. Örneğin iki tikel ya da iki olumsuz önerme ile kıyas yapılmaz.

Bilgi doğrusu yargıların içeriği, mantık doğrusu akıl yürütmenin biçimi ile ilgilidir.

Bir önermenin doğruluk değerinin olasılıklarını gösteren tabloya o önermenin doğruluk tablosu (çizelgesi) denir.

Felsefe tarihi, felsefi problemleri ve akımları tarihsel süreç içinde ortaya koymayı hedefleyen, felsefenin bir alt dalıdır.

Sıfırdan sonsuza kadar giden sayıların oluşturduğu kümeye doğal sayılar kümesi denir. N = {0, 1, 2, 3, 4, ...} şeklinde gösterilir.

Herakleitos “her şey değişir” önermesi ve “hiç değişmeyen evrensel bir kanun tasavvuru” vardır. Değişmenin kendisine göre gerçekleştiği yasa logos, ta..

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