propositional calculus 中文意思是什麼
propositional calculus
解釋
句子邏輯- propositional : 建議的
- calculus : n. （pl. calculuses, -li ）1. 【醫學】結石，石；積石；牙垢。2. 【數學】運算，演算；微積分（學）。
-
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information
中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。 -
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system. this system is fit for dealing with incomplete information. it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統mpm和中介邏輯謂詞演算系統mfm是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統，該邏輯系統特別適用於處理不完全信息，可以作為處理不完全信息的理論基礎。 -
In automated theorem pidving, auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
在自動推理理論與應用的研究中，命題邏輯系統中的方法和內容具有廣泛的適用性。 -
In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness
本文通過對mpm中介邏輯命題演算系統進行代數抽象，建立了一個新的代數系統，討論了該代數系統的性質，並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合，使用該公理集合可以方便的推導出mpm上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。 -
2. numerais system of propositional calculus nend netwrk deals with data, but it is a formula set in proposihonal calculus
命題邏輯系統的數字化神經網路的處理對象是數據，而命題邏輯系統的處理對象是命題公式集。 -
The conclusion points out tha evaltalon propositional calculus is sbole extension of hsitional calculus. mnle, the authr deeply studies to get ch medl sets, and gets some conclusion
同時，在已有關于horn近似的快速推理研究的基礎上，對如何盡快尋找模型集中的極小模型進行更深入的研究，得出若干結論。
分享友人