modal proposition

用法例句

The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered, and the description of the associated Kripke semantics is given.

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述。

"" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4.

研究了命题模态逻辑Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“”型模态逻辑结果的自动推理。

Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science,but predicate modal logic is not.

目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。

This paper,by constructing a logical sketch map about relation of values,mainly depicts 4 equivalent expressions,4 contradictory expressions and 32 implications expressions between conjunctive proposition of modality or disjunctive proposition of modality and modal proposition of conjunctive form or modal proposition of disjunctive form.

该文通过构造一个逻辑关系示意图 ,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的 4个等值式、4个矛盾式和 32个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。

This paper,by constructing a logical sketch map about relation of values,mainly depicts 4 equivalent expressions,4 contradictory expressions and 32 implications expressions between conjunctive proposition of modality or disjunctive proposition of modality and modal proposition of conjunctive form or modal proposition of disjunctive form.

该文通过构造一个逻辑关系示意图 ,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的 4个等值式、4个矛盾式和 32个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。

This paper,by constructing a logical sketch map about relation of values,mainly depicts 4 equivalent expressions,4 contradictory expressions and 32 implications expressions between conjunctive proposition of modality or disjunctive proposition of modality and modal proposition of conjunctive form or modal proposition of disjunctive form.

该文通过构造一个逻辑关系示意图 ,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的 4个等值式、4个矛盾式和 32个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。

This paper,by constructing a logical sketch map about relation of values,mainly depicts 4 equivalent expressions,4 contradictory expressions and 32 implications expressions between conjunctive proposition of modality or disjunctive proposition of modality and modal proposition of conjunctive form or modal proposition of disjunctive form.

该文通过构造一个逻辑关系示意图 ,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的 4个等值式、4个矛盾式和 32个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。

On Conjunctive or Disjunctive Proposition of Modality and Modal Proposition of Conjunctive Form or Disjunctive Form;

模态联言、选言命题与联言、选言模态命题

On Relation of Compound Proposition of Modality and Modal Proposition of Compound Form;

模态复合命题与复合模态命题间真值关系考察

Comparison between the Classical Propositional and the Propositional Modal Systems

古典命题逻辑与模态命题逻辑的形式系统之比较

Comparison between the Propositional Modal Systems K, D, T, S4, S5 and B

模态命题逻辑系统K、D、T、S4、S5、B之比较

Discussing about the Completeness Proof of Normal Modal Propositional Logic System

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

Associative-Propositional Evaluation Model: New Explanation of Attitude Change;

联想-命题评价模型——态度改变的新解释

Research Propositions on Relationship Marketing Based on the Dynamic Model of Relationship Marketing Mix;

基于关系营销动态组合模型的研究命题

The paper argues that propositions postulate meaning of state of affairs which a sentence describes, but research on propositions depends on the modal meaning of a sentence.

认为命题是与句子的事态有关的语义，但也并不能完全摆脱句子的模态语义。

Life Form under the Cover of Divinity:The Subject of Life in SHEN Cong-wen's Novels

神性氤氲的生命形态——沈从文小说生命主题研究

On the Modal Implication of Conditional Proposition--and That Any Logical Truth Can Not Hold on Absolutely without Considering Any Empirical Fact;

论蕴涵命题的模态意义——兼论逻辑真理不能完全独立于经验事实之外

Possible Knowing States about a Proposition in a n-person Group;

群体对一个命题可能的知道状态分析

Decoding the Proposition of “Heaven-and-Man Combination” in the Viewpoint of Ecological Ethics;

“天人合一”命题的生态伦理学解读

New Profound Consideration of Western Marxism (Seminar);

主导意识形态命题与西方马克思主义

Use consistent terminating commands for modeless dialog boxes.

为非模态对话框提供一致的终止命令。

In a command-line environment, modes are indeed poisonous.

在命令行环境下，模态确实是有害的。

The Competitiveness Measurement Model Based on Life Cycle of Business Status;

基于业态生命周期的竞争力测度模型

THE SYSTEM DYNAMIC MODEL FOR URBAN TOURIST DESTINATION CYCLE OF EVOLUTION;

城市旅游地生命周期的系统动态模型

Construction of SOA life cycle model in dynamic ERP system

动态ERP系统中SOA生命周期模型的构造