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.