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

Basit önerme özne, yüklem ve bağdan oluşan ve bir tek yargı bildiren önermelerdir. Nitelik (olumlu-olumsuz) ve niceliklerine (tümel-tikel) göre dörde ..

Koşullu önermelerin karşıtı bileşenlerin sıralaması değiştirilerek, tersi bileşenlerin ayrı ayrı değili alınarak elde edilir. Koşul önermesinin değili..

Mantıkta dağılma özelliği, ve/veya bağlaçları ile kurulmuş bir bileşik önermenin üçüncü bir önerme ile ve/veya işlemine girmesiyle yeni denk önerme ol..

OBEB (ya da EBOB) iki sayının en büyük ortak bölenidir.

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

İki kümenin bütün elemanlarından oluşan kümeye birleşim kümesi denir.

Bir kümenin evrensel küme ile farkı, o kümenin tümleyendir. Kümenin tümleyeninde bulunan elemanlar, evrensel kümede bulunduğu halde o kümede bulunmaz...