tautology 中文意思是什麼
音標 [tɔ:'tɔlədʒi]
tautology
解釋
n. 名詞 1. 重言（式），同義重復，類語疊用〈如： in sorrowful〉。2. 重復，贅述。
-
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
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。 -
A title whose seeming tautology made it clear that she was primarily interested in poetry.
看起來有點累贅的刊名顯示她的主要興趣是詩。 -
Some propositions are true for any truth value of their variables. such propositions are called tautology.
某些命題對于變元后的任何一種真值狀況，它均為真，這樣的命題稱為重言式。 -
Tautology, basic laws of formal logic and semi - paradox of logic
邏輯規律與準邏輯悖論 -
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
邏輯代數及其廣義重言式 -
On the figure of speech of tautology
淺談同義反復辭格 -
The algebra and generalized tautology in limited interval - valued fuzzy logic
有限區間值模糊邏輯代數及其廣義重言式 -
The algebra and generalized tautology in limited disturbing fuzzy propositional logic
有限擾動模糊邏輯代數及其廣義重言式 -
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
對于「動態動產物權的公示方法一一交付」 ，筆者只是簡單介紹了交付的四種形態:現實交付、簡易交付、佔有改定、指示交付。 -
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系統中的廣義重言式類進行了深刻而細致的討論，建立了廣義重言式理論，為模糊邏輯提出了新的研究方向。 -
Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology
擾動模糊命題邏輯的代數結構及其廣義重言式性質 -
Feynman : if we are just considering the round ones, then they are round by definition. that statement is a tautology
如果我們只考慮圓的，那麼它們是圓的定義。這項聲明是一種贅述。
分享友人