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.
  目前，命題模態邏輯已成爲人工智能以及計算機科學等其他領域的有傚工具，但謂詞模態邏輯卻不是。
返回 propositional modal logic