Doğru düşünme, akıl ilke ve kurallarına uygun şekilde yapılan düzenli akıl yürütmelerdir.

İki önermenin karşılıklı koşul eklemi olan "ancak ve ancak ⇔" ile bağlanmasıyla oluşan bileşik önermeye "iki yönlü koşullu önerme" denir...

Özne ve yüklemi aynı olan iki önermenin hem nitelik hem nicelik bakımından farklı olması durumuna çelişiklik ilişkisi denir.

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

Reel sayılar kümesi (R), rasyonel sayılar (Q) ve irrasyonel sayılar (Q') kümesinin birleşim kümesidir.

OKEK (ya da EKOK) iki sayının en küçük ortak katıdır.

a ve b tam sayı olmak üzere, b sıfırdan farklı olmak ve a ile b aralarında asal olmak koşuluyla, a/b şeklinde yazılabilen sayılara rasyonel sayılar de..

Kümelerin kendi aralarında ya da eşit küme, evrensel küme, boş küme ve alt küme ile fark işlemlerinin birtakım özellikleri vardır.