elimination of tautologies 同义字的删除
generalized tautologies 广义重言式
Adjectival tautologies 形容性同义反复语
On Tautologies in Japanese 日语中的同语反复
A Pragmatic Study of Tautologies 同语的语用研究
"the statement `he is brave or he is not brave' is a tautology"
"to say that something is `adequate enough' is a tautology"
以上来源于: WordNet
N-VAR Tautology is the use of different words to say the same thing twice in the same statement. "The money should be adequate enough" is an example of tautology. 赘述
Generalized tautologies theories of universal logic are studied for the first time.
本文首次对泛逻辑的广义重言式理论进行研究。
Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
Proof in logic is merely a mechanical expedient to facilitate the recognition of tautologies in complicated cases.
逻辑中的证明只是一种使得在复杂的情况下易于辨识重言式的机械的便利方法。
应用推荐