propositional logic

基本解释

• [數][計] 命題邏輯

同根派生

• propositional logic相关词

英汉例句

雙語例句

• In the knowledge implication propositional logic system which build on this strategy, 1.
  在根據這種策略而建立的知識蘊涵命題邏輯系統中：1。
• The third is a summary of the standard one-place normative propositional logic and analysis of some theorem of it from the science of law.
  第三部分主要是對標準的二元槼範命題邏輯做一個概述，再從法律科學的角度對其中若乾定理做一些評論。
• Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional Logic, discusses its logic algebra and the properties of its generalized tautology.
  首先以蘊涵算子爲基礎從有限擾動模糊命題邏輯出發，討論其邏輯代數及廣義重言式的性質。

• propositional logic更多例句

词组短语

短語

• propositional modal logic 命題模態邏輯
• propositional intermediate logic 命題中間
• propositional dynamic logic [計]命題動態邏輯
• deterministic propositional dynamic logic 確定性命題邏輯
• Fuzzy Propositional Modal Logic 模糊模態邏輯

• propositional logic更多词组

专业释义

數學

• 命題邏輯
• 邏輯命題
• 命題式邏輯

計算機科學技術

• 命題邏輯
• 命題式邏輯

電子、通信與自動控制技術

• 建議邏輯
• 命題邏輯

機械工程

• 建議邏輯

哲學

• 命題邏輯