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

İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) denir.

Kumarbaz safsatası (gambler's fallacy, Monte Carlo yanılgısı), bir olayın geçmişte nadir geçekleşmiş olmasına dayanarak, gelecekte daha yüksek ihtim..

Bir önermenin doğruluk değerinin olasılıklarını gösteren tabloya o önermenin doğruluk tablosu (çizelgesi) denir.

Fibonacci sayı dizisi, 1202 yılında Fibonacci tarafından ortaya konulan, tavşanların üreme probleminin çözümüne ilişkin hesap sonucu ortaya çıkan bir..

Boş küme, elemanı olmayan kümedir. K = ∅, K = { }, s(K)=0 şeklinde gösterilir.

Gerçek (reel) sayılar kümesinde çarpma işleminin: kapalılık, değişme, birleşme, etkisiz eleman, ters eleman, yutan eleman ve dağılma özellikleri vardı..

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