tautologies 中文意思是什麼

tautologies 解釋
重言式
  1. The system ip and relations of classification of generalized tautologies among the systems ip and its 3 - valued system and the system c2 is investigated. it is proved that generalized tautologies are decidable in the system ip

    本文分兩種情形b一0與p 0 ）研究了系統lp與其三元子代數及經典二值系統q之間（廣川重言式的關系，指出在系統lp中廣義重言式是可判定的
  2. Generalized tautologies in product logical systems

    積邏輯系統中的廣義重言式
  3. Subalgebras and generalized tautologies of many - valued logic systems

    多值邏輯系統中的子代數與廣義重言式
  4. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  5. Sub - fuzzy formulas and tautologies

    亞模糊命題與重言式
  6. Relation between tautologiesand generalized tautologies in logic systems

    邏輯系統中重言式及廣義重言式的關系
  7. 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 _系統中引入了帶參數的非運算，較細致地研究了多值系統的子代數理論，以為賦值域建立了f （ s ）中重言式的分類定理，並將廣義重言式分類定理推廣到系統h _ （ 0 1 ）中。
  8. In the second part, a class of left - continuous isomorphic to r0 t - norm are given. the concept of isomorphism among implication operators is introduced and it is proved that two implication operators are isomorphic if and only if the two t - norms residuated to them respectively are isomorphic. moreover, modifications of classes of a - tautologies under isomorphisms are investigated

    緊接著，引入了蘊涵運算元同構的概念，並對伴隨情況下t -模同構與蘊涵運算元同構之間的關系進行了討論，初步研究了同構的蘊涵運算元對-重言式類的影響，得到了關于系統的廣義重言式分類定理。
  9. In 1997, based on rq implication operator professor wang guojun proposed revised kleene system. again in 1998, professor wang proposed the concept of generalized tautology and discussed the classes of generalized tautologies deeply in revised kleene system

    1997年，王國俊教授基於蘊涵運算元r _ 0提出了修正的kleene系統，又於1998年引入了廣義重言式的概念，對修正的kleene系統中的廣義重言式類進行了深刻而細致的討論，建立了廣義重言式理論，為模糊邏輯提出了新的研究方向。
  10. So the theory of generalized tautologies was built, which gave a new direction in fuzzy logic research. an implication operator is residuated to a special left - continuous t - norm, and r0 algebra proposed by professor wang can be seen as the algebra which is built by the special left - continuous t - norm and implication operator

    此後，王國俊教授以（ ? ） ? lindenbaum代數為背景建立了r _ 0代數理論。 r _ 0代數可以看作是基於一種特別的左連續t -模及其所對應的蘊涵運算元而建立的。
  11. Generalized tautologies theory of universal logic based on 0 - level universal and operators

    基於零級泛與運算的泛邏輯中廣義重言式理論
  12. Generalized tautologies theory of the basic formal system of universal logic

    泛邏輯的基本形式系統中的廣義重言式理論
分享友人
分享到 Line

分享到臉書