Açık Önerme: İçinde en az bir değişken bulunan ve değişkenin durumuna göre doğru ya da yanlış olan önermelere açık önerme denir. Açık önermeyi doğru yapan değerlerin kümesine, açık önermenin doğruluk kümesi denir.
p(x): İçinde bir değişken bulunan açık önerme
p(x, y): İçinde iki değişken bulunan açık önerme
Denklem ve eşitsizlikler açık önermedir.

Niceleyiciler: Önüne geldiği elemanın çokluğunu (niceliğini) ifade eden sembollere niceleyici denir.
Her: Her, bütün, tüm (Evrensel niceleyici)
Bazı: Bazı, en az bir (Varlıksal niceleyici)

* Her niceleyicisi bulunan bir önermeyi en az bir tane örnek bulunursa önerme yanlış, bulunamazsa önerme doğrudur.
* Bazı niceleyicisi bulunan bir önermeyi sağlayan en az bir tane örnek bulunursa önerme doğru, bulunmazsa önerme yanlıştır.

Soru: Aşağıdaki önermelerden hangisi doğrudur?
A) p: Her hayvan dört ayaklıdır.
B) q: Bazı insanlar çekik gözlüdür.
C) r: Bütün insanlar zekidir.
D) s: En az bir tane uçan fil vardır.
E) t: Tüm tam sayıların küpü pozitiftir.
B) Örneğin Japonlar.

Soru: Her x elemanıdır Z, X2 > lxl
önermesinin sözel ifadesi aşağıdakilerden hangisidir?
A) Bazı tam sayıların karesi, kendinden büyüktür.
B) Tüm tam sayıların karesi, kendinden büyüktür.
C) Bütün tam sayıların kareleri, mutlak değerinden büyüktür.
D) En az bir tam sayının karesi, kendinden büyüktür.
E) Bazı tam sayıların kareleri, mutlak değerinden küçük değildir.
Her x elemanıdır Z: Bütün tamsayılar
X2 > lxl: Karesi mutlak değerinden büyüktür. C şıkkı