前束范式的法文

• Forme prénexe

• "前"法文翻译    名 1.face;façade~厅salle sur le devant;antichambre
• "束"法文翻译    动 attacher;ficeler~装就道faire ses bagages et se
• "范"法文翻译    名 1.modèle;exemple;type典~exemple;modèle. 2.limites
• "范式"法文翻译    forme normale
• "式"法文翻译    名 1.type;style;modèle新~nouveau modèle;nouveau
• "范式" 法文翻译 :    forme normale
• "典范式" 法文翻译 :    expression canonique
• "车轮前束" 法文翻译 :    convergence des rouespincement des roues
• "合取范式" 法文翻译 :    Forme normale conjonctive
• "巴科斯范式" 法文翻译 :    Forme de Backus-Naur
• "斯科伦范式" 法文翻译 :    Forme normale de Skolem
• "析取范式" 法文翻译 :    Forme normale disjonctive
• "编程范式" 法文翻译 :    Palette Paradigme de programmation
• "皮质脊髓前束" 法文翻译 :    tractus pyramidalis anterior
• "脊髓丘脑前束" 法文翻译 :    tractus spinothalamicus anterior
• "脊髓小脑前束" 法文翻译 :    tractus spinocerebellaris anterior
• "乔姆斯基范式" 法文翻译 :    Forme normale de Chomsky
• "扩充巴科斯范式" 法文翻译 :    Augmented Backus-Naur Form
• "扩展巴科斯范式" 法文翻译 :    Extended Backus-Naur Form
• "前李朝" 法文翻译 :    Dynastie Lý antérieure; Dynastie Lý antérieure
• "前期谈判" 法文翻译 :    négociation préalable
• "前杭爱省" 法文翻译 :    Övörhangay
• "前期牙质" 法文翻译 :    prédentine
• "前极性白内障" 法文翻译 :    cataracte polaire antérieure
• "前期工程" 法文翻译 :    construction à l'avancement
• "前染色体" 法文翻译 :    prochromosome

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

• 前束范式的英语：prenex normal form
• 前束范式的韩语：프리넥스 표준형