Bir önermenin doğruluk değeri, yargının doğru ya da yanlış olduğunu gösteren değeridir.

Bilinmeyene başvurma, bilgi yoksunluğundan kaynaklanan, tersi ispatlanamayanın doğru olduğu savıdır.

İki önermenin "ya da ⊻" ile bağlanmasıyla oluşan bileşik önerme, bileşenlerden yalnızca biri doğru olduğunda doğru olur.

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

Gerçek (reel) sayılar kümesinde toplama işleminin: kapalılık, değişme, birleşme, etkisiz eleman ve ters eleman özellikleri vardır.

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

Eleman sayısı belirli olan kümelere sonlu küme, elemanları sayılamayacak kadar çok kümelere sonsuz küme denir.

Bir kümenin tümleyeni ile birleşim, kesişim ve fark gibi küme işlemleri arasında birtakım özellikler vardır.