önekli yasal biçim anlamı İng. prenex normal form
n sayıda (...) art arda gelen niceleyici (önek) ile bunların etki alanı olan niceleyecisiz bir
Tamdeyimden (üreteç) oluşan tamdeyim. || (Temel mantıklı dillerde her önerme bir önekli yasal biçim ile eşdeğerdir.) Örn. (…) biçimindeki tamdeyim iki niceleyicili, (…) sıfır niceleyicili önekli yasal biçimdir.