tautology n.1.重言(式)，同義重復，類語疊用〔如： in so...
n. 1.重言(式)，同義重復，類語疊用〔如： in sorrowful〕。 2.重復，贅述。 “tautology (logic)“ 中文翻譯： 重言式“tautology (rhetoric)“ 中文翻譯： 重言式“tautology rule“ 中文翻譯： 同語反復規則; 重言式規則“presumption against tautology“ 中文翻譯： 避免贅言推定“tautologous“ 中文翻譯： adj. 1.＝tautological. 2.分解的，分析的。 adv. -ly “tautologize“ 中文翻譯： vi. 疊用類語，同義重復。 “tautologist“ 中文翻譯： n. 愛疊用類語的人；說話?唆的人。 “tautomenial“ 中文翻譯： 同月經期的“tautologism“ 中文翻譯： n. 重言式，同義重復，贅述。 “tautomer“ 中文翻譯： n. 【化學】互變(異構)體。 “tautologies“ 中文翻譯： 重言式
tautomer |
|
As examples , a - tautologies and f - tautologies in lattice valued logic systems 1 - 4p ( x ) and l6p ( x ) are discussed in detail . ( 2 ) a kind of calculus method that is used to determine the truth - values of propositional logic formulae by means of the dynamic neural networks is proposed . it is not necessary that the formulae be simplified into normal form 本文分析討論了基于格蘊涵代數直積的格值邏輯系統中的-重言式和f -重言式，作為兩個實例，詳細討論了兩個格值邏輯系統l _ 4p ( x )和l _ 6p ( x )中的重言式和f -重言式的結構。 |
|
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 -模同構與蘊涵算子同構之間的關系進行了討論，初步研究了同構的蘊涵算子對-重言式類的影響，得到了關于系統的廣義重言式分類定理。 |
|
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 )中。 |
|
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 -模及其所對應的蘊涵算子而建立的。 |
|
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系統中的廣義重言式類進行了深刻而細致的討論，建立了廣義重言式理論，為模糊邏輯提出了新的研究方向。 |
|
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 本文的工作是在徐揚教授、秦克云教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。 |
|
Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable 給出了命題邏輯中任一命題公式的真值表的生成算法與命題公式類型的判定算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。 |
|
However , the embeddability plays an important role in proving the completeness of the formal deductive systems . when an algebra system has embeddability . a formula is a tautology for each linearly ordered algebra if and only if it is a tautology for each algebra 在可嵌入性的保證下，當一個公式對所有的某種線性代數系統是重言式時，其必定對所有的同種代數系統是重言式。 |
|
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中廣義重言式是可判定的 |
|
The author is not making tautology here . with respect to “ the means of public summons of the personal property right in dynamic state - delivery “ , the author simply introduces the four patterns of delivery 對于“動態動產物權的公示方法一一交付” ，筆者只是簡單介紹了交付的四種形態:現實交付、簡易交付、占有改定、指示交付。 |
|
( 1 ) tautologies play a significant role in logic applications , a - tautologies and f - tautologies in some lattice valued logic systems whose truth - value lattice are products of lattice implication algebra are discussed 二、一類格值邏輯系統中的重言式和邏輯公式的神經網絡計算1 、重言式在邏輯系統的應用中起著重要的作用。 |
|
The generalized tautology was discussed in those systems . in the first part , as preparatory knowledge , the paper gives the concept of t - norrn and the representation theorem of continuous t - norms 文章的主要內容如下：第一部分：作為預備知識，給出了t -模及其相關概念，對連續t -模的表示定理進行了簡單的介紹。 |
|
The whole of this objection is but another expression of the tautology : that there can no longer be any wage - labour when there is no longer any capital 所有這些顧慮，都可以歸結為這樣一個同義反復:一旦沒有資本，也就不再有雇傭勞動了。 |
|
“ is this statement ( coase theorem ) profound , trivial , a tautology , false , revolutionary , wicked ? each of these has been claimed （科斯定理） “這一說法究竟是深刻、平庸、同語反復、錯誤、革命、還是邪惡？每種評價都有其主張。 ” |
|
Feynman : if we are just considering the round ones , then they are round by definition . that statement is a tautology 如果我們只考慮圓的，那么它們是被定義為圓的。這種說法本身就是一種重復。 |
|
What ' s the first excellence in a lawyer ? tautology . what ' s the second ? tautology . what ' s the third ? tautology 律師的第一優點是什么？羅嗦。其第二大優點呢？羅嗦！第三大呢？仍是羅嗦！ |
|
Feynman : if we are just considering the round ones , then they are round by definition . that statement is a tautology 如果我們只考慮圓的，那么它們是圓的定義。這項聲明是一種贅述。 |
|
Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology 擾動模糊命題邏輯的代數結構及其廣義重言式性質 |
|
Generalized tautologies theory of universal logic based on 0 - level universal and operators 基于零級泛與運算的泛邏輯中廣義重言式理論 |