AÇIK ÖNERME, içerisinde bir değişken bulunan ve bu değişkenin alacağı değerle doğruluğu veya yanlışlığı kesinleşen önerme.