重言式,tautology英语短句,例句大全

重言式,tautology
1)tautology[英][t?:'t?l?d?i][美][t?'tɑl?d??]重言式
1.By the subalgebra theory classification theorem of tautology in Many-valued Logic System Hα has been discussed,which has laid a foundation for the systemHα in its further research.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础。
2.Their properties including theories of tautology and quasi tautology are researched.介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论。
3.are the methods of judging(or proving) tautology in propositional calculus of mathematical logic,but not that of judging inference formula in traditional propositional logic.真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法。

英文短句/例句

1.Relation between tautologies and generalized tautologies in logic systems;逻辑系统中重言式及广义重言式的关系
2.Interval-Valued Fuzzy Propositional Logic and Its Generalized Tautology;区间值模糊命题逻辑及其广义重言式
3.Modificatory Atanassov Logical and Its Generalized Tautology;修正的Atanassov命题逻辑及其广义重言式
4.Tautologies of Nonlinear Odering Logic System W~2;非线性序逻辑系统~2中的重言式
5.Theory of Generalized Tautology in Godel’s Logic System;Gdel逻辑系统中的广义重言式理论
6.Theory of Generalized Tautology on Lukasiewicz Many valued Logic System;Lukasiewicz多值逻辑系统中的广义重言式理论
7.Theory of Generalized Tautology in Lukasiewicz Logic System;Lukasie wicz逻辑系统中的广义重言式理论
8.THEORY OF GENERALIZED TAUTOLOGY IN GAINSE-RESCHER S LOGIC SYSTEM;Gainse-Rescher逻辑系统中的广义重言式理论
9.Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic SystemLukasiewicz区间值命题逻辑的广义重言式
10.Generalized quasi-tautology of Gdel interval-valued logic systemGdel区间值逻辑系统的广义拟重言式
11.Generalizded Quasi-Tautology of Interval-valued Fuzzy Propositional Logic System and Its Thuth Degree;区间值模糊命题逻辑的广义拟重言式及其真度
12.Isomorphisms of t-norms and Implication Operators and Theory of Generalized Tautologies;t-模与蕴涵算子的同构及广义重言式理论
13.On the Diachronic Development and Grammaticalization of Duplicated Descriptives;重言式状态词的历时发展及语法化考察
14.the patterns of stress and intonation in a language.一种语言中重音和语调的模式。
15.Schema theory is one of the important theories of Cognitive Linguistics.图式理论是认知语言的重要理论之一。
16.Research on Focus on Form in College English Teaching;大学英语教学中注重语言形式的研究
17.Distribution and Characteristic Overlapped in Chinese Dialects VXVX Type Verb;汉语方言“VXVX”动词重叠式比较研究
18.Performative Contradiction and a New Foundation for Philosophical Paradigms;践言冲突方法与哲学范式的重新奠基