Açık öneme: İçerisinde en az bir değişken bulunan ve doğruluk değeri bu değişkene bağlı olan önermelere açık önerme denir. Bir açık önermeyi doğrulayan elemanların bulunduğu kümeye bu önermenin doğruluk kümesi denir.
x gibi tek değişken varsa, p(x), q(x), x, y gibi iki değişken varsa, p(x, y), q(x, y), şeklinde gösterilir. a sayısı p önermesinin doğruluk kümesinde ise p(a) değilse p(a) s 0 dır. p(x): "x s Z ve |x| = 5" açık önermesi için doğruluk kümesi: D = (-5, 5) yani p(-5) s 1, p(5) s 1 dir. Fakat p(3) s 0 dır.
Her denklem ve eşitsizlik bir açık önermedir. Bu denklem ve eşitsizliklerin çözüm kümeleri önerrnenin doğruluk kümesidir.
Her (V) ve Bazı (El) Niceleyicileri: Her (V) niceleyicisi, önüne geldiği elemanların tamamını anlattığı için bu niceleyiciye evrensel niceleyici denir. Bazı (en az bir) (3) niceleyicisi önüne geldiği elemanların bazılarını anlattığı için bu niceleyiciye varlıksal niceleyici denir.
Vp(x) önermesinin değili (olumsuzu): 3p'(x)
3p(x) önermesinin değili (olumsuzu): Vp'(x)
