单词盒子

propositional modal logic

P 开头单词

基本解释

  • [计算机科学技术]命题模态逻辑
  • [数学]命题模态逻辑

英汉例句

    双语例句

  • 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 正规模态逻辑系统

专业释义

    计算机科学技术

  • 命题模态逻辑

    • 数学

  • 命题模态逻辑