Bir Matematik terimi olan 'Açık önerme' İçinde değişken bulunan ve bu değişkene verilen değerlerle doğruluğu veya yanlışlığı belli olan önerme.