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 3 ile tam bölünebilmesi için rakamları toplamı 3'ün tam katı olmalıdır.

√2 (karekök 2)'nin sayı doğrusundaki yeri, ikizkenar birim dik üçgenin hipotenüsünün hesaplanması yardımıyla bulunur.

İki kümenin birer elemanları ile oluşturulmuş (x,y) şeklindeki iki bileşenli gösterimlere sıralı ikili denir.

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

Bir önermenin değili, o önermenin doğruluk değerinin değiştirilmiş şeklidir. Yani doğru ise yanlış, yanlış ise doğru yapılmasıdır.

Mantıkta genel-tikel, tümel-tikel, soyut-somut, kolektif - distribütif, olumlu - olumsuz olmak üzere beş tür kavram vardır.

İki önermenin koşul eklemi olan "ise ⇒" ile bağlanmasıyla oluşan bileşik önermeye "koşullu önerme" denir.