propositional calculus

常見例句

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ā)，探究一個新的數(shù)據(jù)庫查詢機(jī)制，用以処理更一般的量化命題意義的模糊數(shù)據(jù)庫查詢。