Prenex

Definition / 释义

prenex（逻辑）：指“前束式的”，通常用在短语 prenex normal form（前束范式）中，表示把一个逻辑公式中的所有量词（如 ∀、∃）通过等价变形“移到最前面”，形成一种标准化的句法结构。（在逻辑学里较常见，日常英语中很少单独使用。）

Pronunciation / 发音

/ˈpriːnɛks/

Examples / 例句

Please put the statement into prenex form.
请把这个陈述改写成前束式。

After rewriting the formula into prenex normal form, we can apply Skolemization more systematically.
把公式改写成前束范式后，我们就能更系统地进行斯科伦化处理。

Etymology / 词源

prenex 多被解释为由 pre-（在……之前）与表示“结合/连结”的词根（与拉丁语 nexus“连接、纽带”相关）组合而成的学术造词，用来强调：把原本分散在公式内部的量词“连成一串并前置”，从而得到便于证明与变形的标准形式。

Related Words / 相关词

• Quantifier
• Predicate
• Formula
• Syntax
• Semantics
• Skolemization
• Normalization
• Satisfiability

Literary Works / 文学与著作例证

• A Mathematical Introduction to Logic（Herbert B. Enderton）：讨论一阶逻辑的标准形时常涉及 prenex normal form。
• Introduction to Mathematical Logic（Elliott Mendelson）：在量词变形与正规形章节中使用该术语。
• Mathematical Logic（Joseph R. Shoenfield）：讲解一阶公式的等价变换与前束范式。
• Computability and Logic（George S. Boolos, John P. Burgess, Richard C. Jeffrey）：在逻辑公式规范化与可判定性相关内容中出现该概念。