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

Zihnin, birbiriyle ilişkili önermelerden yeni bir önerme çıkarmasına akıl yürütme denir. Üç yöntemi vardır: tümdengelim, tümevarım ve analoji...

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

Önerme, doğru veya yanlış bir yargı bildiren ifadedir.

İki kümenin ortak elemanlarından oluşan kümeye kesişim kümesi denir.

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.

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

Bir tam sayının 9 ile tam bölünebilmesi için, sayıyı oluşturan rakamların toplamı 9 ile tam bölünmelidir.