İki önermenin tikel evetleme eklemi olan "ve ∨" ile bağlanmasıyla oluşan bileşik önermeye "veya bağlacı ile yapılan bileşik önerme" denir.

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.

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

İki öncül ve bir sonuçtan oluşan çıkarımlara basit kıyas denir.

OBEB (ya da EBOB) iki sayının en büyük ortak bölenidir.

Bir A kümesinin bütün elemanları B kümesinin de elemanı ise, A kümesi B kümesinin alt kümesi olur. Bu durumda A kümesi, B kümesini kapsıyor 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..

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