prenex

Fetched 2026-10-26 (cache).

Synonyms: pretex

Antonyms: pretex

Related words from Datamuse; suggestions, not definitions.

Adjective

1. {{lb|en|mathematics|logic}} Of a formula, having all of its [[quantifier]]s at the beginning.

Noun

1. {{lb|en|mathematics|logic}} The initial part of a ''prenex'' formula where all of the formula's bound variables are bound by logical quantifiers.<ref>John Woldemar Cowan, [https://web.archive.org/web/20120704132430/http://dag.github.com/cll/16/2/ ''The Lojban Reference Grammar'', &sect;16.2]</ref>

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.