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

Mantıkta aklın dört temel ilkesi vardır: özdeşlik, çelişmezlik, üçüncü halin imkansızlığı ve yeter - sebep ilkesi.

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

Bir bütünü oluşturan parçaların hepsinin tek tek incelenmesi ile genel bir sonuca varılması, tam; parçaların bir kısmına dayanılarak o bütün hakkında ..

İki sıralı ikili birbirine eşit ise, ikililerin her bir bileşeni karşılıklı olarak birbirine eşit olur.

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.

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

Küme, belirli bir tanıma uyan elemanlardan oluşan topluluktur. Bu gruba dahil her her varlığa kümenin elemanı denir.