Aristoteles ilk kez mantığı sistem haline getiren filozof ve klasik mantığın kurucusudur.

Bir tek durum dışında (p ⇒ q) önermesinin doğruluk değeri her zaman doğrudur. Koşullu önermenin yanlış olduğu durum p ≡ 1 iken q ≡ 0 olduğu halidir...

Özne ve yüklemi aynı olan iki önermenin nitelik (olumlu-olumsuz) bakımından farklı olması haline karşıtlık ilişkisi denir.

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

Arkhe, Yunanca'da "başlangıç, ilk" anlamına gelir. Sokrates öncesi Yunan felsefesinden beri felsefi terim olarak "ilke, temel, ana madde, başlangıç ma..

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

Evrensel küme ile birleşim, kesişim ve fark gibi küme işlemlerinin belirli özellikleri vardır.

Kümelerde birleşim işleminin özellikleri şunlardır: Tek kuvvet, değişme, etkisiz eleman, alt küme ile kesişim, birleşme, dağılma.