基本解釋[數(shù)][計(jì)] 命題邏輯同根派生 propositional logic相關(guān)詞英漢例句雙語例句In the knowledge implication propositional logic system which build on this strategy, 1.在根據(jù)這種策略而建立的知識蘊(yùn)涵命題邏輯系統(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.第三部分主要是對標(biāo)準(zhǔn)的二元槼範(fàn)命題邏輯做一個概述,再從法律科學(xué)的角度對其中若乾定理做一些評論。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.首先以蘊(yùn)涵算子爲(wèi)基礎(chǔ)從有限擾動模糊命題邏輯出發(fā),討論其邏輯代數(shù)及廣義重言式的性質(zhì)。propositional logic更多例句詞組短語短語propositional modal logic 命題模態(tài)邏輯propositional intermediate logic 命題中間propositional dynamic logic [計(jì)]命題動態(tài)邏輯deterministic propositional dynamic logic 確定性命題邏輯Fuzzy Propositional Modal Logic 模糊模態(tài)邏輯propositional logic更多詞組專業(yè)釋義數(shù)學(xué)命題邏輯邏輯命題命題式邏輯計(jì)算機(jī)科學(xué)技術(shù)命題邏輯命題式邏輯電子、通信與自動控制技術(shù)建議邏輯命題邏輯機(jī)械工程建議邏輯哲學(xué)命題邏輯