- 前 名 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
- 典范式 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
- 前期债务 engagement d’exercices antérieurs
- 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 范式的,如果它的前束范式只有全称量词。
Last modified time:Sat, 16 Aug 2025 00:29:56 GMT