| German |
| has gloss | deu: Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. |
| lexicalization | deu: Pränexform |
| French |
| has gloss | fra: Une formule de la logique du premier ordre est en forme prénexe si tous ses quantificateurs ( \forall et \exists) apparaissent à gauche dans cette formule. C’est-à-dire, G est en forme prénexe ssi G=Q_1 x_1 Q_2 x_2 ... Q_n x_n G^\prime} avec Q_i \in \\forall, \exists\}. |
| lexicalization | fra: Forme prenexe |
| lexicalization | fra: forme prénexe |
| Hungarian |
| has gloss | hun: Egy formula Prenex-alakúvá tételéhez először változó-tiszta alakra kell hozni a formulát. Változótiszta alak Minden kvantor különböző változót köt, és egyik kötött változó sem egyezik meg egyetlen szabad változóval sem. Az a legegyszerűbb megoldás, hogy indexeljük a kötött változókat. Ha változótiszta lett a formula, utána alkalmazni kell a kvantorkiemelési törvényeket. |
| lexicalization | hun: Prenex formula |
| lexicalization | hun: Prenex-formula |
| Italian |
| has gloss | ita: In logica matematica, una formula si dice in forma prenessa se essa è composta da una parte sinistra contenente solo quantificatori e variabili e una parte destra non contenente alcun quantificatore. |
| lexicalization | ita: forma prenessa |
| Japanese |
| has gloss | jpn: 冠頭標準形（英: prenex normal form）とは、一階述語論理の論理式の形式であり、量化子が論理式の先頭部分に集められている形式を指す（残りの部分をマトリクスと呼び、先頭の各量化子はマトリクス全体にかかっている）。 |
| lexicalization | jpn: 冠頭標準形 |
| Dutch |
| has gloss | nld: Een wiskundige formule uit de predicatencalculus is in de prenex-normaalvorm als ze geschreven is als een reeks kwantoren, gevolgd door een kwantorloos deel, de matrix genaamd. |
| lexicalization | nld: prenex-normaalvorm |
| Polish |
| has gloss | pol: Forma preneksowa (ang. prenex form lub prenex normal form) to taka postać formuły logicznej, w której wszystkie kwantyfikatory przesunięte są na początek formuły. Inna jej nazwa to przedrostkowa postać normalna. |
| lexicalization | pol: Forma preneksowa |
| Portuguese |
| has gloss | por: Na lógica de predicados uma fórmula está na forma normal prenex se cada variável desta fórmula cai no escopo de algum quantificador e se todos os quantificadores estão juntos precedendo uma sentença livre de quantificadores. Uma fórmula na forma normal prenex apresenta portanto a seguinte forma: |
| lexicalization | por: Forma Normal Prenex |
| Chinese |
| has gloss | zho: 在谓词演算中，一个公式是前束范式的，如果它可以被写为量词在前，随后是被称为矩阵的非量化部分的字符串。所有一阶公式都逻辑等价于某个前束范式公式。 |
| lexicalization | zho: 前束范式 |