Açık önerme doğruluk değeri değişkenlere bağlı olarak değişiklik gösteren önermedir. Doğru yada yanlış kesin kararlara ö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ığı belirli 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.
.
