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.
TDK Mantık Terimleri Sözlüğü