重言 的英文怎麼說
中文拼音 [zhòngyán]
重言
英文
(疊字) tautology-
3 nine out of ten fables are convincible ; seven out of ten quotations, a little worse in convincing others. the unprejudiced word is the most valuable way of expression
語言文字的表達方式有許多種,其中有「寓言」 ,有引聖人或受人尊重者之「重言」以及無相無住的「卮言」等。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中廣義重言式是可判定的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
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。Some propositions are true for any truth value of their variables. such propositions are called tautology.
某些命題對于變元后的任何一種真值狀況,它均為真,這樣的命題稱為重言式。Generalized tautologies in product logical systems
積邏輯系統中的廣義重言式Theory ofgeneralized tautology in lukasiewicz logic system
邏輯系統中的廣義重言式理論Theory of generalized tautology in g amp; ouml ; del s logic system
邏輯系統中的廣義重言式理論The semantics and generalized tautology of fuzzy temporal logic
模糊時序邏輯的語義及其廣義重言式The logical algerba and gerneralized tautology on limited atanassov system
邏輯代數及其廣義重言式Subalgebras and generalized tautologies of many - valued logic systems
多值邏輯系統中的子代數與廣義重言式2 there are many ways to express, among which there are the fable, the quotation from sage or the respected and the unprejudiced word of no - self and being flexibility
語言文字的表達方式有許多種,其中有「寓言」 ,有引聖人或受人尊重者之「重言」以及無相無住的「卮言」等。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
本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上,對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。The algebra and generalized tautology in limited interval - valued fuzzy logic
有限區間值模糊邏輯代數及其廣義重言式The algebra and generalized tautology in limited disturbing fuzzy propositional logic
有限擾動模糊邏輯代數及其廣義重言式Sub - fuzzy formulas and tautologies
亞模糊命題與重言式Relation between tautologiesand generalized tautologies in logic systems
邏輯系統中重言式及廣義重言式的關系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 )中。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 -模同構與蘊涵運算元同構之間的關系進行了討論,初步研究了同構的蘊涵運算元對-重言式類的影響,得到了關于系統的廣義重言式分類定理。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
在可嵌入性的保證下,當一個公式對所有的某種線性代數系統是重言式時,其必定對所有的同種代數系統是重言式。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系統中的廣義重言式類進行了深刻而細致的討論,建立了廣義重言式理論,為模糊邏輯提出了新的研究方向。分享友人