açık önerme : 1 ) İçerisinde değişken bulunan ve bu değişkenin alacağı değerle doğruluğu veya yanlışlığı kesinleşen önerme