爱词霸英语   汉语   手机版   软件版下载 | English
每日一句:正在加载...
1.Implication tautology is not reasoning form.
蕴涵重言式不是推理式。收藏指正
2.Theory of Generalized Tautology in Go?del’s Logic System
G?del逻辑系统中的广义重言式理论收藏指正
3.Also, some tautology appears when we see generations of new concepts.
并且?当我们看见新的概念在这时代的时候,一些同义语的重复出现。收藏指正
4.On the Explanatory Roles of Natural Selection and the Problem of Tautology
自然选择原理的解释作用及其同义反复问题收藏指正
5.Feynman: If we are just considering the round ones, then they are round by definition. That statement is a tautology.
如果我们只考虑圆的,那么它们是圆的定义。这项声明是一种赘述。收藏指正
6.To create man was a fine and original idea; but to add the sheep was a tautology.
创造人类,是一则美好而又富于独创性的想法,但加上羔羊则未免多余。收藏指正
7.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.
所有这些顾虑,都可以归结为这样一个同义反复: 一旦没有资本,也就不再有雇佣劳动了。收藏指正
8.Congruence partitions about ? on F(S) have been given in logic system r,G r,S n, respectively by utilizing the concepts of accessible generalized tautology and α contradiction.
利用可达广义重言式概念和α 矛盾式概念分别在 Gr,Gr,Sn 中给出了F(S)的一个关于 同余的分划 .收藏指正
9.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.
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。收藏指正
尝试查询
词形变化
名词复数:tautologies
汉英释义