propositional

英 [ˌprɒpəˈzɪʃən(ə)l] 美 [ˌprɑpəˈzɪʃən(ə)l]

网络  命题; 命题的; 或命题功能; 命题式; 命题式的

BNC.38104 / COCA.28270

双语例句

  1. The Γ-rand Truth Degree of Fomulas and Approximate Reasoning in Classical Propositional Logic
    经典命题逻辑中公式的Γ-随机真度与近似推理
  2. Metrization on MV-Algebras and Its Application in Lukasiewicz Propositional Logic
    MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
  3. Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic System
    Lukasiewicz区间值命题逻辑的广义重言式
  4. The uniform issue of two-valued propositional logic formulas and logical equivalent formulas is discussed.
    探讨二值命题逻辑公式及逻辑等价公式统一性问题。
  5. Symbolic logic is often divided into two branches, propositional logic and predicate logic.
    符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
  6. Research on the Propositional Functor in Propositional Logic of Stoicism
    试析斯多葛学派命题逻辑研究中的命题函子理论
  7. On the Propositional Fallacy of the Three Systems of Logic At present in logic people have different opinions on the question whether reduction to absurdity is direct refutation or indirect one.
    谬误的比较研究&以三大逻辑的命题为视角在反驳方法中，归谬法究竟属于直接反驳还是间接反驳，目前的逻辑学界还存在着较为严重的分歧。
  8. A propositional content can have different focuses of sentence.
    一个命题内容可以有不同的语句焦点。
  9. Discourse marker is word or phrase that relate the present discourse to the prior one, whereas metadiscourse contains all the things that has nothing to do with the propositional content.
    话语标记语是标示当前话语和前述话语之间序列关系的词或短语，元话语包括所有不涉及话题内容的东西。
  10. Propositional dynamic logic ( PDL) can be used to represent and reasoning actions and also be an effective tool for solving planning problem.
    命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。
  11. The minimum term and maximum term defined by the propositional variations, are the core problems of expressions and applications stemmed from the propositional formula.
    极小项和极大项是主范式问题的核心，体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征。
  12. The Theory of Approximate Reasoning Based on the Premise Information in Two-valued Propositional Logic
    二值命题逻辑中基于前提信息的近似推理理论
  13. The Implication Measurement and Approximate Reasoning in Two-valued Propositional Logic
    二值命题逻辑中的蕴涵度量与近似推理
  14. The Characteristics of Item Order of Propositional Representation in Simple Sentences about Spatial Relationship in Chinese
    汉语空间关系简单句命题表征项目顺序特点
  15. Extension principle of propositional logic
    命题逻辑的外延性原理
  16. Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3
    三值命题逻辑系统L3~中逻辑理论性态的拓扑刻画拓扑描绘字，拓扑描述符
  17. An Empirical Research on the Influencing Factor in Propositional Reasoning Ability
    复合命题推理能力相关影响因素的实证研究
  18. It puts forward the setting principle and method of load limiting resistor of backup distance protection and gives the propositional setting value of load limiting resistor.
    对四边形和方向圆特性阻抗继电器躲线路最大潮流的能力进行了详细分析，提出了距离保护负荷限制电阻的整定原则和整定方法，并给出了整定建议值。
  19. D-Stochastic Truth Degree of Formulas Based on Standardized Representation in Propositional Logic
    基于标准化表示的命题逻辑公式的D-随机真度
  20. A conditional truth degree of formulas in n-valued propositional logic systems
    一种n值逻辑系统中命题的条件真度
  21. Though truth is propositional, it is not only something to be believed, but also to be received in worship and practiced in wisdom.
    虽然真理是命题式的，这真理不单要相信，也要被接受为用作敬拜和智慧的实践。
  22. In this paper, we obtain the truth degree expression of the pseudo-metric in two-valued propositional logic, which is based on the truth degree.
    本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。
  23. This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
    解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时分析它们的形式和用法。
  24. This paper presented an automated reasoning algorithm for natural deduction system ( NR) of relevance propositional logic.
    给出了相干命题逻辑自然推理系统NR的自动证明算法。
  25. Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
    命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
  26. Short consistency degrees of finite theories in propositional fuzzy logic system
    命题模糊逻辑系统中有限理论的弱相容度
  27. Type of conclusions and classification of theories in two-valued propositional logic
    二值命题逻辑理论的结论类型和分类
  28. A 24-class partition of propositional formula set F ( S) in Godel system
    命题公式集F（S）在Godel系统中的一个24类分划
  29. Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
    目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
  30. Discussing about the Completeness Proof of Normal Modal Propositional Logic System
    关于正规模态命题逻辑系统的完全性证明
点击展开全文

考试分类

行业分类

柯林斯词典词频分级词汇

其他分类