Mantıkta aklın dört temel ilkesi vardır: özdeşlik, çelişmezlik, üçüncü halin imkansızlığı ve yeter - sebep ilkesi.

Safsata, ilk bakışta geçerli gibi görünen sahte argümandır.

Özne ve yüklemi aynı olan iki önermenin nitelik (olumlu-olumsuz) bakımından farklı olması haline karşıtlık ilişkisi denir.

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

Saltıklık, hiçbir ilişkiyi gerektirmeksizin kendiliğinden var olan, mutlak olan demektir. Bağımsız, göreli olmayan ve kendi başına tam sayılan şeydir...

Küme elemanları ifade edilirken liste, venn şeması ve ortak özellik yöntemi olmak üzere yöntem kullanılır. İlk yöntem elemanları tek tek sıralamaya, i..

İki sıralı ikili birbirine eşit ise, ikililerin her bir bileşeni karşılıklı olarak birbirine eşit olur.

Sayı doğrusu, gerçek sayılar kümesin geometrik gösterimidir. Sayı doğrusu, en basit koordinat sistemidir.