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

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

Tam sayılarda, 2,3,4,5,8,9,10,11 ile bölünebilme kuralları belirlenmiştir.

Bir tam sayının 10 ile tam bölünebilmesi için, birler basamağındaki rakam 0 olmalıdır.

Çıkarım (akıl yürütme), önermelerden yeni önerme elde etmektir. Doğrudan ve dolaylı (kıyas) olmak üzere iki çeşittir.

Mantık, doğru düşünmenin ilke ve kurallarını araştıran disiplindir.

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

Klasik mantığın kullandığı tümdengelim yönteminin yetersizliği ve önermelerdeki çok anlamlılık problemi, modern mantıkta kullanılan sembolik mantık di..