Önermeler yapıları (basit-bileşik), nitelikleri (olumlu-olumsuz) ve nicelikleri (tümel-tikel) bakımından üçe ayrılır.

Genel kanıyı ya da gelenekleri referans göstererek bir fikrin doğru veya yanlış olduğunu ileri sürme durumudur.

Mantıkta genel-tikel, tümel-tikel, soyut-somut, kolektif - distribütif, olumlu - olumsuz olmak üzere beş tür kavram vardır.

İki önermenin tikel evetleme eklemi olan "ve ∨" ile bağlanmasıyla oluşan bileşik önermeye "veya bağlacı ile yapılan bileşik önerme" denir.

Doğal sayılar ve bu sayıların negatiflerinin oluşturduğu kümeye tam sayılar kümesi denir. Z = {-1, -2, -3, 0, 1, 2, 3, ...} şeklinde gösterilir...

Bir A kümesinin bütün elemanları B kümesinin de elemanı ise, A kümesi B kümesinin alt kümesi olur. Bu durumda A kümesi, B kümesini kapsıyor denir...

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.

Sembolik mantıktaki önermeler ile kümeler arasında kavramsal ve işlem özellikleri açısından önemli ilişkiler ve benzerlikler vardır. Örneğin kesişim i..