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

İki kavram arasında eşitlik, ayrıklık, tam girişimlik ve eksik girişimlik ilişkilerinden biri vardır.

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

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

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

EBOB ve EKOK ile ilgili birtakım özellikler vardır. Örneğin, iki sayının çarpımı, bu sayıların EBOB ve EKOK'larının çarpımına; aralarında asal sayılar..

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.

Bir tam sayının 9 ile tam bölünebilmesi için, sayıyı oluşturan rakamların toplamı 9 ile tam bölünmelidir.