propositional logic

基本解釋

• [數(shù)][計] 命題邏輯

同根派生

• propositional logic相關詞

英漢例句

雙語例句

• In the knowledge implication propositional logic system which build on this strategy, 1.
  在根據(jù)這種策略而建立的知識蘊涵命題邏輯系統(tǒng)中：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.
  首先以蘊涵算子爲基礎從有限擾動模糊命題邏輯出發(fā)，討論其邏輯代數(shù)及廣義重言式的性質。

• propositional logic更多例句

詞組短語

短語

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

• propositional logic更多詞組

專業(yè)釋義

數(shù)學

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

計算機科學技術

• 命題邏輯
• 命題式邏輯

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

• 建議邏輯
• 命題邏輯

機械工程

• 建議邏輯

哲學

• 命題邏輯