three-valued logic 中文意思是什麼
three-valued logic
解釋
三值邏輯-
Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討 -
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
首先,在分析二值的移位計數器的設計方法的基礎上,利用多值電路的高信息密度,提出了三值移位計數器的設計,運用該方法可以設計任意狀態的三值移位計數器,並且通過選擇最佳設計方案使控制邏輯電路最簡。 -
Three valued logic neuron model and its reasoning
三值邏輯神經元模型及推理 -
In addition, by introducing three operators, judging true, judging medium and judging false, the relationship between the system mf and the classical 2 - valued logic system is discussed. based on the relationship, the resolution principles of mfm are given by taking the classical 2 - valued logic system as a tool. the resolution principles show that the resolution problems can be solved by using the theories of the classical 2 - valued logic system
此外,通過引入判真、判中和判假三個運算元給出了mf ~ m系統與經典二值邏輯系統的關系,並以經典二值邏輯系統作為工具討論了mf ~ m系統的消解理論,該消解理論能夠完全利用經典二值邏輯系統的理論方便地解決mf ~ m的消解問題。
分享友人