一阶逻辑的法文

• Calcul des prédicats

• 一:    数 1.un,une~把椅子une chaise.
• 一阶:    premier ordre
• 阶:    名 1.marche;échelon台~perron 2.degré
• 逻:    动 patrouiller;faire la
• 逻辑:    名 logique logique

例句与用法

1. Certaines variables correspondent à des éléments de l'univers, comme dans la logique du premier ordre.
   一些变数相对至论域的元素，如一阶逻辑一般。
2. Certains auteurs admettent aussi des variables propositionnelles dans la logique du premier ordre, qui doivent alors aussi être interprétées.
   一些作者会允许一阶逻辑中出现命题变数，因此也必须被解释。
3. Un autre aspect du rapport des régionalismes avec le standard est celui qui concerne les langues ayant plus d’une variété standard.
   对一阶逻辑广义化的方法之一为考虑具一个以上类型之变数的语言。
4. On montre que la formule initiale admet un modèle si et seulement si sa forme skolémisée en admet un.
   一阶逻辑的公式是Skolem 范式的，如果它的前束范式只有全称量词。
5. La sémantique de la valeur de vérité a été préconisée par Ruth Barcan Marcus pour les logiques modales au début des années 1960 et a plus tard été défendue par Dunn, Belnap et Leblanc pour la logique du premier ordre standard.
   真值语义 (也称为“代换量化”)是 Ruth Barcan Marcus 在1960年代早期为模态逻辑提倡的，后来 Dunn、Belnap 和 Leblanc 把它拥戴到标准一阶逻辑。

其他语言

一阶逻辑的英语：first order logic
一阶逻辑的日语：一階述語論理
一阶逻辑的韩语：1차 논리
一阶逻辑的俄语：Логика первого порядка
一阶逻辑的阿拉伯语：منطق الرتبة الأولى;
一阶逻辑的印尼文：logika predikat tingkat pertama;