Açık önerme doğruluk değeri değişkenlere bağlı olarak farklılık gösteren önermedir. Doğru yada yanlış kesin hükümlere önerme denir. Açık önerme ise içinde bir değişken bulunan ve bu değişkenleri verilen değerlere doğruluğu veya yanlışlığı belli olan önermedir.
Örnek :
7 bir asal sayıdır ifadesi doğru bir önermedir
10- 5*3 = 0 ibaresi yanlış bir önermedir
2n>2n ifadesi açık bir önermedir.
