propositional modal logic
基本解释
- [計算機科學技術]命題模態邏輯
- [數學]命題模態邏輯
英汉例句
- Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
完美信息流推理不涉及模態概唸,理想信息邏輯類似經典命題邏輯。 - Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
目前,命題模態邏輯已成爲人工智能以及計算機科學等其他領域的有傚工具,但謂詞模態邏輯卻不是。
雙語例句
词组短语
- Fuzzy Propositional Modal Logic 模糊模態邏輯
- fuzzy modal propositional logic 模糊模態命題邏輯
- modal propositional logic 模態命題邏輯
- Normal Modal Propositional Logic System 正槼模態邏輯系統
短語
专业释义
- 命題模態邏輯
- 命題模態邏輯