This introduces three - value logic to comparison operators , which can be difficult to manage correctly 此規(guī)定在比較運(yùn)算符中引入了三值邏輯,而要正確運(yùn)用該邏輯很困難。
Secondly , in the theory of gl with the four rules of producing such as generator rule , generating radix rule , rule of basis space changing , developing order rule , gpl can produce all kinds of basic operation model with other logic such as classical propositional logic , three - value logic , fuzzy logic and broad sense fuzzy logic . finally , it proved that a material logic can be produce by gpl . and it shows the universality gpl can contain most logic 眾所周知,邏輯學(xué)家正是利用這些定義證明了該邏輯的全部推理規(guī)則,建立起了整個命題邏輯體系;然后我們直接利用命題泛邏輯學(xué)的生成規(guī)則,通過對廣義相關(guān)系數(shù)h的不同取值也同樣生成了這些運(yùn)算模型,也就是說直接生成了這個命題邏輯;這個生成過程還揭示了各種運(yùn)算模型的物理意義和使用條件,也就是說揭示了各種命題邏輯的物理意義和使用條件。
With the deep research of complicated problem , how to deal with various uncertainties and evolution has been a critical problem for further development of ai . most researchers put forward all kinds of propositional logic to satisfy application such as classical propositional logic , three - value logic , fuzzy logic etc . in the logic the value of proposition is continuous variety 隨著對復(fù)雜性問題研究的深入,經(jīng)典的二值邏輯已經(jīng)不能解決現(xiàn)實(shí)社會中的所有問題,因此人們提出了各種“非標(biāo)準(zhǔn)邏輯”和“現(xiàn)代邏輯” ,例如三值邏輯、多值邏輯、模糊邏輯和概率邏輯等。
百科解釋
In logic, a three-valued logic (also trivalent, ternary, or trinary logic, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value. This is contrasted with the more commonly known bivalent logics (such as classical sentential or boolean logic) which provide only for true and false.