propositional calculus

常见例句

This paper deals with the formal system of propositional calculus of medium logic (MP).
本文討論了中介邏輯命題縯算（MP）的形式系統。
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.
系統是在中介邏輯系統的基礎上建立起來的，用於処理數據庫中不完全信息的三值邏輯命題縯算系統。
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.
本文從基於模糊邏輯的量化命題縯算出發，探究一個新的數據庫查詢機制，用以処理更一般的量化命題意義的模糊數據庫查詢。