eng

açık önerme ne demek?

açık önerme

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.

TDK Mantık Terimleri Sözlüğü

açık önerme 

(Alm. Aussageform, f; freie Formel, f; Fr. proposition ouverte, f; İng. open sentence) 

mat. Değişkenlerine değerler verildiğinde önermeler oluşan önerme kalıbı.