例句與造句

1. Subalgebras and generalized tautologies of many - valued logic systems
   多值邏輯系統(tǒng)中的子代數(shù)與廣義重言式
2. Non - classical logic is the theoretical basis of many - valued logic , fuzzy reasoning and fuzzy control . fuzzy logic is the most active branch of non - classical logic
   非經(jīng)典邏輯是多值邏輯、模糊推理及模糊控制等的理論基礎(chǔ)，模糊邏輯是非經(jīng)典邏輯中極具活力的一個分支。
3. It was well known that rq t - norm which rq implication operator residuated to was left - continuous . in fact , any left - continuous t - norm has its own residuum - implication operator . and many - valued system could be obtained from implication operator
   事實上，任一左連續(xù)t -模都可確定一個與之伴隨的蘊涵算子，并且，不同的蘊涵算子就可以構(gòu)建不同的多值邏輯系統(tǒng)。
4. Finte function , the typical representative of many - valued function , is clearly and vividly exposed its complicated alternative character by riemann surface and is thoroughly discussed the key points and the process of monodromic branch ceded from many - valued function
   摘要通過討論多值函數(shù)的典型代表根式函數(shù)，運用黎曼面，清晰、形象地揭示多值函數(shù)復(fù)雜的變換特性，并論述分出多值函數(shù)的各單值分支的關(guān)鍵問題及其方法。
5. So r0 operator and godel operator are united in the systems ha the negation - a with respect to parameter a is defined in ha , the many - valued system h1 / 2 = ( [ 0 , 1 ] - 1 / 2 , 1 / 2 ) is discussed in detail . the classification theorem of tautologies in f ( s ) is obtained in h1 / 2 . the classfication of tautologies is defined on hq
   本文還在h _系統(tǒng)中引入了帶參數(shù)的非運算，較細致地研究了多值系統(tǒng)的子代數(shù)理論，以為賦值域建立了f ( s )中重言式的分類定理，并將廣義重言式分類定理推廣到系統(tǒng)h _ ( 0 1 )中。
6. It's difficult to find many-valued in a sentence. 用many-valued造句挺難的
7. It extends linear valuation field of many - valued logic to a more general lattice , thus can deal with both order and non - order information , such as non - comparable information , consequently describe the uncertainty of human reasoning , judging and decision - making more effectively . in the view of logic , reasoning is the use of knowledge and logic deduction
   格值邏輯把多值邏輯的鏈型真值域拓廣到較一般的格上，既能處理全序信息，又能處理不可比的信息，從而可以更有效地刻畫人類的推理、判斷和決策的不確定性，尤其是對真值不完全可比較性的研究，能夠更真實地刻畫人類的思維活動。