– mat. İçerisinde değişken bulunan ve bu değişkenin alacağı değerle doğruluğu veya yanlışlığı kesinleşen önerme.
– bk. önermeli işlev.
– Değişkenler içeren ve bu değişkenlere belirli değerler verildiğinde önerme olan ifade.
– Bir önermede geçen bir ya da birden çok sayıda adın yerine bağsız olacak biçimde birer değişken koymakla elde edilen deyim: ||n-li açık önerme (
) biçiminde gösterilir. Anl. açık tamdeyim. Krş.. tek düzenli birli açık önerme, özelleme, gerçekleme. Örn. ‘2+2=4’ önermesinde ‘2’ sayı adı yerine ‘x’ değişkeni koymakla x+x=4′ birli açık önermesi elde edilir.
– İng. open sentence, open condition, propositional function