2) propositional modal logic
命题模态逻辑
1.
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语义描述。
2.
"" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4.
研究了命题模态逻辑Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“”型模态逻辑结果的自动推理。
3.
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science,but predicate modal logic is not.
目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。
3) conjunctive proposition of modality
模态联言命题
1.
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个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。
4) disjunctive proposition of modality
模态选言命题
1.
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个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。
5) modal proposition of conjunctive form
联言模态命题
1.
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个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。
6) modal proposition of disjunctive form
选言模态命题
1.
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个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条