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

Bir kavramın yalnız zihindeki bireylerine nelik (insan), zihin dışındaki bireylerine gerçeklik (sokaktaki insanlar) denir. Gerçekliği olan bir kavramı..

Kaplam, bir kavramın içine aldığı varlıkların tümüdür. İçlem ise bu varlıkların ortak özelliklerinin tümüdür.

İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) denir.

Söz konusu kapsam dahiline giren bütün elemanları oluşturan kümeye evresel küme denir. Bu elemanlarla oluşturulmuş diğer tüm kümeler evrensel kümenin ..

Kartezyen çarpım kümeleri ile çarpımı oluşturan kümeler arasında birtakım özellikler vardır.

K ve L kümeleri için, yalnız K kümesinde yer alan elemanlara K fark L kümesi denir.

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