基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]命題模態(tài)邏輯[數(shù)學(xué)]命題模態(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)邏輯已成爲(wèi)人工智能以及計(jì)算機(jī)科學(xué)等其他領(lǐng)域的有傚工具，但謂詞模態(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 正槼模態(tài)邏輯系統(tǒng)propositional modal logic更多詞組專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)命題模態(tài)邏輯數(shù)學(xué)命題模態(tài)邏輯