propositional

美 [ˌprɑpəˈzɪʃən(ə)l]英 [ˌprɒpəˈzɪʃən(ə)l]
  • 网络命题的;命题式的;命题式;或命题功能
propositionalpropositional
  1. This paper introduces a method for propositional logic calculation .

    介绍了命题逻辑演算方法。

  2. Short consistency degrees of finite theories in propositional fuzzy logic system

    命题模糊逻辑系统中有限理论的弱相容度

  3. An Empirical Research on the Influencing Factor in Propositional Reasoning Ability

    复合命题推理能力相关影响因素的实证研究

  4. A Model Predictive Control Based on Hybrid Systems Integrating Propositional Logic with System Dynamics

    结合了命题逻辑与系统动力学的混合控制

  5. Many-sorted propositional dynamic logic system based on parallel processing environment

    基于并行处理环境的多类命题动态逻辑系统

  6. Propositional μ - Calculus Design and Implementation for Temporal Logic Systems

    时序系统命题μ演算算法设计与实现

  7. An extension of the propositional calculus system of medium logic (ⅱ)

    中介逻辑命题演算的扩张(Ⅱ)

  8. A propositional content can have different focuses of sentence .

    一个命题内容可以有不同的语句焦点。

  9. Another decision method for the validity of the propositional inference

    关于命题论证有效判定的另一方法

  10. The second goal is to discuss the roots of propositional set .

    第二,讨论了命题集的根。

  11. Automatic Generation and Formal Output of Special Normal Forms of Propositional Formulae

    命题公式主范式的自动生成与形式输出

  12. The Computer Implementation of the Propositional Logic Equivalent Calculation

    命题逻辑等值演算的计算机实现

  13. Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae

    基于路径搜索的格值命题逻辑自动推理方法

  14. The Psychological Research on Propositional Reasoning : Review and Comments

    命题推理的心理学研究综述

  15. Discussing about the Completeness Proof of Normal Modal Propositional Logic System

    关于正规模态命题逻辑系统的完全性证明

  16. Item Order of Propositional Representation in Understanding Chinese Initiative and Passive Sentences

    汉语主动句、被动句的命题表征项目顺序特点

  17. Digital Form of Logical Consequence Theory in Propositional Logic

    命题逻辑中推理理论的数字形式

  18. Generating Algorithm of Truth Value Table and Type 's Mechanical Decision to a Propositional Formula

    命题公式真值表的生成与公式类型的机械判定

  19. The first indicates that one utterance determines the other in propositional content ;

    命题内容连贯指一话语在决定另一话语的内容所起作用的连贯;

  20. In this paper , we propose a new description method of information processing systems based on propositional logic .

    本文针对以上功能,提出了基于命题逻辑的信息处理系统的新的需求描述方法。

  21. The algorithm and complexity of propositional knowledge base revision

    命题知识库更新的算法及其复杂性

  22. Studies on Calculus Theory and Reasoning of Propositional Universal Logic

    命题泛逻辑的演算理论及推理研究

  23. Σ - generalized contradiction in the limited value disturbing fuzzy propositional logic

    有限扰动模糊命题逻辑系统的∑-广义矛盾式

  24. The Analysis of Algorithms for the Propositional Logic Satisfiability Problem

    命题逻辑可满足性问题的算法分析

  25. Decision of the validity of the propositional inference by basic linguistics

    用BASIC语言判定命题推理的有效性

  26. The Characteristics of Item Order of Propositional Representation in Simple Sentences about Spatial Relationship in Chinese

    汉语空间关系简单句命题表征项目顺序特点

  27. Instituting the propositional theory is necessary for a scientific study of sociology .

    建构命题化的理论是社会学研究科学化的必然要求。

  28. Type of conclusions and classification of theories in two-valued propositional logic

    二值命题逻辑理论的结论类型和分类

  29. What is Situation Model : Propositional Symbol or Perceptual Symbol

    情境模型的实质:命题符号与知觉符号之争

  30. The proposition and classification of propositional forms are a very complicated problem .

    命题及命题形式的分类是一个相当复杂的问题。