propositional modal logic

基本解釋

• [計算機科學技術]命題模態(tài)邏輯
• [數(shù)學]命題模態(tài)邏輯

英漢例句

雙語例句

• Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
  完美信息流推理不涉及模態(tài)概念，理想信息邏輯類似經(jīng)典命題邏輯。
• Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
  目前，命題模態(tài)邏輯已成為人工智能以及計算機科學等其他領域的有效工具，但謂詞模態(tài)邏輯卻不是。

• propositional modal logic更多例句

詞組短語

短語

• Fuzzy Propositional Modal Logic 模糊模態(tài)邏輯
• fuzzy modal propositional logic 模糊模態(tài)命題邏輯
• modal propositional logic 模態(tài)命題邏輯
• Normal Modal Propositional Logic System 正規(guī)模態(tài)邏輯系統(tǒng)

• propositional modal logic更多詞組

專業(yè)釋義

計算機科學技術

• 命題模態(tài)邏輯

數(shù)學

• 命題模態(tài)邏輯