propositionnelle中文是什么意思

• 专业辞典
  adj.f
  【逻】命题的

• "variable propositionnelle" 中文翻译 :    命题变量
• "propositionnel" 中文翻译 :    音标：[prɔpozisjɔnεl]专业辞典adj.m【逻】命题的propositionneladj.命题的
• "proposition à caractère pratique" 中文翻译 :    着重于行动的提议
• "propositions de paix" 中文翻译 :    和平倡议
• "proposition subordonnée" 中文翻译 :    从属小句从句
• "propositions de règlement" 中文翻译 :    提议的解决办法
• "proposition simple" 中文翻译 :    主要小句主句
• "propositions de séoul" 中文翻译 :    汉城建议
• "proposition républicaine" 中文翻译 :    共和国方案
• "propositions d’action du forum intergouvernemental sur les forêts et du groupe intergouvernemental sur les forêts" 中文翻译 :    森林小组和森林论坛行动建议ipf/iff行动建议

• Les variables propositionnelles sont les formules atomiques de la logique propositionnelle.
  命题变量是命题逻辑的原子公式。
• Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques d'ordre supérieur.
  命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。
• De cette façon, toutes les formules de la logique propositionnelle sont construites à partir des variables propositionnelles comme une unité de base.
  用这种方式，命题逻辑的所有的公式都可以建造自作为基本单位的命题变量。
• Dans le système moderne de ZFC, la "fonction propositionnelle" désigné dans l'axiome de séparation est interprété comme "toute propriété définissable par une formule de premier ordre avec des paramètres", de sorte que l'axiome de séparation est remplacé par un schéma d'axiomes.
  在现代ZFC系统中，在分离公理中提及的“命题函数”被解释为“可用带有参数的一阶公式定义的任何性质”。
• Dans les schémas ci-dessus, A et B peuvent être remplacés par n'importe quelle formule bien formée de la logique propositionnelle (on se limite parfois à un sous-ensemble des formules de la logique, comme les propositions) pour former un ensemble infini de règles d'inférence.
  在上面的规则（模式）中，A和B可以被实例化为论域（有时约定为某种受限制的子集比如命题）的任何元素，来形成推理规则的无限集合。
• Elle a été définie à l'origine au début du XXe siècle par Jan Łukasiewicz comme une logique ternaire; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre.
  它最初由扬·武卡谢维奇定义为叫做“三价逻辑”的三值逻辑；它后来被推广为 n 值(对于所有有限 n)和无限多值变体，命题和一阶都有。
• Axiome de séparation (Axiom der Aussonderung) "Chaque fois que la fonction propositionnelle –(x) est définie pour tous les éléments d'un ensemble M, M possède un sous-ensemble M' contenant comme éléments précisément tous les éléments x de M pour lesquels –(x) est vrai".
  分离公理（Axiom der Aussonderung）：“只要命题函数–(x)对于一个集合M的所有元素是明确的，则存在M一个子集M' ，它精确地包含M中使–(x)为真的那些元素作为元素”。