axiom of completeness 中文意思是什麼
axiom of completeness
解釋
完備性公理- axiom : n. 1. 自明之理。2. 【邏，數】公理；原理，原則，通則。3. 格言。
- of : OF ＝Old French 古法語。
- completeness : 完備性
-
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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。 -
Completeness of axiom systems
公理系統的完全性
分享友人