önekli yasal biçim
önekli yasal biçim İng. prenex normal form
n sayıda (...) art arda gelen niceleyici (ön ek) ile bunların etki alanı olan niceleyecisiz birtamdeyimden (üreteç) oluşan tamdeyim. || (Temel mantıklı dillerde her önerme bir ön ekli yasal biçim ile eşdeğerdir.) Örn. ( ) biçimindeki tamdeyim iki niceleyicili, ( ) sıfır niceleyicili ön ekli yasal biçimdir.
önekli yasal biçim için benzer kelimeler
önekli yasal biçim, 18 karakter ile yazılır. Ayrıca,
ö harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise,
'ö', 'n', 'e', 'k', 'l', 'i', ' ', 'y', 'a', 's', 'a', 'l', ' ', 'b', 'i', 'ç', 'i', 'm', şeklindedir.
önekli yasal biçim kelimesinin tersten yazılışı miçib lasay ilkenö diziliminde gösterilir.