propositional calculus

基本解釋

• [數(shù)] 命題縯算

同根派生

• propositional calculus相關(guān)詞

英漢例句

雙語例句

• This paper deals with the formal system of propositional calculus of medium logic (MP).
  本文討論了中介邏輯命題縯算（MP）的形式系統(tǒng)。
• MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
  系統(tǒng)是在中介邏輯系統(tǒng)的基礎(chǔ)上建立起來的，用於処理數(shù)據(jù)庫中不完全信息的三值邏輯命題縯算系統(tǒng)。
• In this paper, A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic. It Can be used to process the more general fuzzy database retrieval.
  本文從基於模糊邏輯的量化命題縯算出發(fā)，探究一個(gè)新的數(shù)據(jù)庫查詢機(jī)制，用以処理更一般的量化命題意義的模糊數(shù)據(jù)庫查詢。

• propositional calculus更多例句

詞組短語

短語

• completeness of propositional calculus 命題縯算的完備性
• medium propositional calculus 中介命題縯算
• Medium Logic Propositional Calculus 中介邏輯命題縯算
• assignment in propositional calculus 命題縯算指派
• modal propositional calculus s 模態(tài)命題縯算S

• propositional calculus更多詞組

英英字典

柯林斯英英字典

• the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure &rarrcompare predicate calculus

• propositional calculus劍橋字典
• propositional calculus柯林斯字典

專業(yè)釋義

數(shù)學(xué)

• 命題縯算

電子、通信與自動(dòng)控制技術(shù)

• 命題縯算

計(jì)算機(jī)科學(xué)技術(shù)

• 命題縯算