前束范式的法文

Forme prénexe

• 前:    名 1.face;façade~厅s ...
• 束:    动 attacher;ficeler ...
• 范:    名 1.modèle;exemple ...
• 范式:    forme normale
• 式:    名 1.type;style;mod ...

例句与用法

1. Toutes les formules du premier ordre sont logiquement équivalentes à une formule en forme prénexe.
   所有一阶公式都逻辑等价于某个前束范式公式。
2. On montre que la formule initiale admet un modèle si et seulement si sa forme skolémisée en admet un.
   一阶逻辑的公式是Skolem 范式的，如果它的前束范式只有全称量词。