İki önermenin "ya da ⊻" ile bağlanmasıyla oluşan bileşik önerme, bileşenlerden yalnızca biri doğru olduğunda doğru olur.

İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) 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.

İki önermenin tümel evetleme eklemi olan "ve ∧" ile bağlanmasıyla oluşan bileşik önermeye "ve bağlacı ile yapılan bileşik önerme" denir.

√2 (karekök 2) rasyonel sayı değildir. √2 irrasyonel bir sayıdır.

Sokrates öncesi düşünürlerin evren hakkında duyduğu ateşli merak onları "Her şey nereden geliyor?" sorusuna yanıt aramaya, asıl, nihai ilkeyi bulmaya ..

Antik Çağ Yunan Felsefesi, MÖ 700'lü yıllardan başlayıp Orta Çağ'a (M.S. 500'lü yıllar) kadar uzanan felsefi dönemdir.

Toplama, çarpma ve üssel işlemlerde bölümden kalanı hesaplamak için bazı pratik yöntemler geliştirilmiştir.