De Morgan kuralı, mantıkta ve/veya bağlaçları ile oluşturulmuş bileşik önermeler ve onların değilleri arasındaki ilişkiyi gösteren bağıntıdır...

Bilinmeyene başvurma, bilgi yoksunluğundan kaynaklanan, tersi ispatlanamayanın doğru olduğu savıdır.

Kıyas, en az iki öncülden yeni bir sonuç çıkarmak üzere yapılan tümdengelime dayalı akıl yürütmedir.

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

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

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..

Kartezyen çarpım kümeleri ile çarpımı oluşturan kümeler arasında birtakım özellikler vardır.

Arkhe, Yunanca'da "başlangıç, ilk" anlamına gelir. Sokrates öncesi Yunan felsefesinden beri felsefi terim olarak "ilke, temel, ana madde, başlangıç ma..