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

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

İki önermenin koşul eklemi olan "ise ⇒" ile bağlanmasıyla oluşan bileşik önermeye "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.

Milet Okulu, felsefe tarihinde hem felsefenin başlangıç evresini oluşturur hem de doğa felsefesi olarak adlandırılan felsefi eğilimin öncüsüdür. Okulu..

Eski Yunanca log "kavramak, seçmek, saymak" ve "söz söylemek, konuşmak" fiilinden türemiştir. Logos'un ilk anlamı us ve bu usa dayanan sözdür. Daha so..

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

Devirli ondalık sayı, virgülden sonraki kısmı tekrar eden rasyonel sayılardır.