证明性的

He deemed that even though the premise of inductive inference was authentic, it was not the guarantee of authenticity of conclusion. Philosophers and logicians have tried quite a few ways to solve the issue, that is, to do deductive proof ; to do inductive proof with the help of the uniformity of the world; and so on.

对这一问题，哲学家和逻辑学家提出了种种解决途径：或借助概率弱化归纳推理的结论，企图对之作演绎论证；或借"世界齐一性"对之作归纳证明；或诉诸无知的解决方式；或釜底抽薪的解决方式。

This is said in order to justify the exemption of the insane consistently with the tenet of determinism , in spite of the fact that from a determinist viewpoint

之所以这样说，是为了与决定论原则始终一致地证明对精神病人免除责任的正当性，尽管存在这样的事实，即从决定论的观点来看

According to Orowan's investigation results, the amount of plastic work Γ is three orders larger than that of surface energy. However, the yielding of metal material is only associated with the deviator strain energy.

由于引起金属材料屈服的原因仅为偏斜应变能，而与体积应变能无关，本文提出了一个与路径无关的守恒积分，即偏斜应变能积分，并对其守恒性进行了严格的证明。

In order to avoid the Maratos effect, the merit functions used are approximations to Fletchers differentiable exact penalty function. Global convergence is proved on some conditions, and some numerical results are given .

为避免Maratos效应，此方法采用Fletcher的光滑精确罚函数的逼近形式作为价值函数，在一定条件下证明了算法的全局收敛性并且给出数值结果。

This article present an unification arithmetic for a kind of mixture equations made up of some differential and algebra equations.

提出了一种求解微分代数混合方程组的统一算法，证明了统一算法所求出的懈与原方程组的解具有等价性。

The results show that this decoupling method can predict the evolvements of pore water pressure and settlement, and reflect the effect of stress path and dilatancy.

证明了该解耦方法的能较好预测孔压以及沉降的变化，并在分析过程中能较好反映应力路径及剪胀性等特性的影响。

The finite dimension approximating solution for initial-boundary value problem of coupling nonlinear system of hyperbolic equation is constructed by orthogonal basis of characteristic value sequence of the Laplace operator in the Dirichlet boundary conditions.

以Laplace算子在Dirichlet条件下的特徵值序列为正交基底构造耦合非线性双曲型方程组初边值问题的有限维近似逼近解，证明该逼近解的一致收敛性。

In this paper, the mutual relations of these additional conditions are investigated systematically and clarified. It is proved that each one of these conditions implies distributivity. Furthermore, the mutual relations of normal residuated lattices, subnormal residuated lattices, BL-algebras and sub-BL-algebras and that they are all distributive lattice are known.

本文系统研究并弄清了这些附加条件相互之间的关系，证明了它们中的每一条都蕴涵着分配性，从而知道了正规剩余格、次正规剩余格、BL-代数、次BL代数相互之间的关系，并且它们都是分配格。

Donative institutions deserve a tax subsidy because the public's support signals their worth, and the free-rider tendency that affects all giving assures the need for an additional, shadow subsidy.

捐赠性机构应当得到税收优惠，因为公众的支持表明它们应得，且有关所有赠与的受赠人倾向也证明大有必要需要一二外的暗地补贴优惠。

In this paper, the nonexistence of the closed orbit which circles the equilibrium is proved by using the Dulac function, then all the orbits of the system are bounded by the Filippov transformation and comparability theorem.

本文利用Dulac函数法，首先判定了不存在绕平衡点的闭轨线，然后利用Filippov变换和比较定理，证明了系统所有轨线的有界性，进而得到了平衡点是全局渐近稳定的。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。