英汉双语例句-生物医药大词典

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.

中文意思：
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。

以下为相关句子列表(点击查看，可以看对应的解释）：

	Using the white gourd as the main raw material, a kind of lactic acid beverage with rich nutrition, equilibrium in nutrients and retaining the flavor of walnuts was developed.			摘要以冬瓜为主要原料，研制出一种营养丰富、均衡、有冬瓜风味的乳酸饮料。
	Using the word momentum , the second lawmay also be heated as follows.			由于采用了动量这个词,第二定律也可叙述如下。
	Using the λ-Threshold, some definitions of the anti-fuzzy subgroups, anti-fuzzy normal subgroups, anti-fuzzy normalize and anti-fuzzy centralizer are introduced. Some properties of anti-fuzzy subgroups are discussed.			摘要本文利用λ-截集引入了反模糊子群、反模糊正规子群、反模糊正规化子及反模糊中心化子的概念，并讨论了它们的性质。
	Using their excellent knowledge of the topography and of buffalo behaviour, they killed their prey by chasing them over a precipice; the carcasses were later carved up in the camp below.			他们利用对地形的熟悉和对野牛习性的了解，将牛群追赶到悬崖上杀死，然后在下面的营房里分割尸体。
	Using their logic, I should stop eating too much curry, because whenever I eat too much curry I have diarrea, and the last time this season I had diarrea there was a huge snow storm in Colorado that caused a lot of damage.			按照他们的逻辑，我不该吃太多的咖喱，因为每次我吃得太多，就会拉肚子，这个季节的上一次我拉肚子，科罗拉多曾经有场造成很大损失的暴风雪。
	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.			给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
	Using these approaches, diffusion coefficients were obtained for the first time for complexes under tensile stress condition and no stress condition respectively.			用这些计算方法，首次从实验上求得了空位与溶质原子复合体分别在低张应力状态和无应力状态下的扩散系数。
	Using these methods, the problems of optimum combination of many holes on a workpiece and the division of process steps in the strip layout of progressive die can be solved.			运用这些方法，能够解决级进模工步设计中多型孔的优化组合排列以及工步数的划分问题。
	Using this Martian/Venusian Phrase Dictionary can assist women in understanding what men really mean when they abbreviate what they are saying.			当男人精简他们所要说的话时，使用“火星人／金星人语法辞典”可帮助女人了解男人真正的意思。
	Using this approach to calculate the distance the sprite moved ensures that the sprite will move consistently if the speed of the game or computer varies.			使用这种方法大致计算精灵移动的距离以确保精灵在游戏或电脑的速度改变时仍能连贯地移动。
	Using this approach, one can test the feasibility of a subsystem and technology in the initial iterations.			使用这种方法，可以在初始迭代过程中测试一个子系统和技术的可行性。