two-valued logic 中文意思是什麼
two-valued logic
解釋
二值邏輯-
In order to maintain thoroughly hsi philosophical standpoint of anti - realism, he rejected two - valued semantics and took intuitionist logic as the basis of his metaphysics
為了徹底堅持其反實在論的哲學立場，達米特拒斥二值原則，把直覺主義邏輯作為其形而上學的基礎。 -
First, based on the analysis of the design method of two - valued shift counter, we use the multivaled circuit ' s property of high information density to put forward the design method of three - valued shift counter. by using this method module - n three - valued shift counter can be designed. and by selecting the best design method, the simplest circuit of control logic can be made
首先，在分析二值的移位計數器的設計方法的基礎上，利用多值電路的高信息密度，提出了三值移位計數器的設計，運用該方法可以設計任意狀態的三值移位計數器，並且通過選擇最佳設計方案使控制邏輯電路最簡。 -
Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。 -
Theory of quasi - truth degrees of formulas in two - valued predicate logic
一類二值謂詞邏輯中公式的準真度理論 -
Multiple - valued logic is the logic that has more than two values
多值邏輯是指一切邏輯值的取值數大於2的邏輯。 -
Paraconsistent database, which based on 4 - valued paraconsistent logic and relational data model, can effective manipulate two kinds of uncertain information
但以次協調邏輯與關系數據模型相結合而產生的次協調數據庫能夠有效地處理這兩類不確定信息。 -
The research of multiple - valued logic includes many aspects. two of its most important parts are completeness theory of function sets, decision and construction for sheffer functions
多值邏輯的研究內容有很多，函數系的完備性判定、 sheffer函數的構造與判定是其中的重要組成部分。 -
Multiple - valued logic can solve many problems easily while two - valued logic has too many difficulties to solve them, so multiple - valued logic has a bright future
多值邏輯可以更好地解決用二值邏輯不易解決的問題，因此有著廣闊的發展前景。 -
The two - valued weak model of the first order logic with generalized quantifier q is generalized to be valued in complete weak complemented lattices. for finite linearly - ordered weak complemented lattice, the omitting type theorem is proved
將帶廣義量詞q的一階邏輯的二值弱模型推廣到取值于完備弱可補格上，對有限的線性序弱可補格證明了省略型定理。
分享友人