全称量词的法文

• quantificateur universel
  quantificateur universelle

• "全"法文翻译    形 1.tout;entier~国tout le pays. 2.complet货物很~avoir
• "全称"法文翻译    le nom complet
• "称"法文翻译    动 1.appeler;nommer我们都~他王大叔.nous l'appelons tous
• "称量"法文翻译    écaille
• "量"法文翻译    动 mesurer~身材mesurer qn 量 动
• "量词"法文翻译    名 spécificatif
• "词"法文翻译    名 1.terme;expression同义~synonyme.
• "量词" 法文翻译 :    名spécificatif
• "全称" 法文翻译 :    le nom complet
• "称量" 法文翻译 :    écaille
• "全称性" 法文翻译 :    universalité
• "全称的" 法文翻译 :    universel,le
• "称量斗" 法文翻译 :    trémie peseuse
• "称量瓶" 法文翻译 :    bouteille (bt) tarée称量瓶flacon (à tare, de pesage, de numération)
• "称量管" 法文翻译 :    tube à tare
• "存在量词" 法文翻译 :    quantificateur existentielquantificateur existentielle
• "定量词料" 法文翻译 :    ration
• "日文量词" 法文翻译 :    Compter en japonais
• "汉语量词" 法文翻译 :    Classificateurs en chinois
• "量词消去" 法文翻译 :    Élimination des quantificateurs
• "不能称量的" 法文翻译 :    impondéré
• "全称判断" 法文翻译 :    jugement universeljugement universelle
• "全称命题" 法文翻译 :    proposition universelle
• "全称实例化" 法文翻译 :    Instanciation universelle
• "可称量性" 法文翻译 :    pondérabilité

• Elle est généralement considérée comme une règle de quantification pour le quantificateur universel, mais elle peut également être énoncée en tant qu'axiome.
  它一般作为全称量词的量化规则给出，但也可以作为一个公理。
• On montre que la formule initiale admet un modèle si et seulement si sa forme skolémisée en admet un.
  一阶逻辑的公式是Skolem 范式的，如果它的前束范式只有全称量词。

• 全称量词的英语：allquantor universal quantifier; general quantifier