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.

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.

Kavram, nesnelerin zihindeki tasarımıdır. Terim ise bir kavramın dil ile ifade edilmesidir.

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

√2 (karekök 2) rasyonel sayı değildir. √2 irrasyonel bir sayıdır.

Bir tam sayının 4 ile tam bölünebilmesi için, bu sayının son iki basamağının oluşturduğu iki basamaklı sayı 4'ün tam katı olmalıdır.

Toplama, çarpma ve üssel işlemlerde bölümden kalanı hesaplamak için bazı pratik yöntemler geliştirilmiştir.