证明

The reason is there are many-sided thought .Although the standard in the justiciary explanation has advanced sense ,but its usefulness is lower ,so the standard in our country has double characteristics ,it's only be solved in the future.

之所以采取大陆法系的高度盖然性证明标准，笔者认为，这是基于了多方面的现实考虑，在此基础上确立的证明标准无疑是具有进步意义的，但由于司法解释在法律效力等级上较低，使我国的证明标准仍然带有双重性质，这只能有待于日后在立法上予以完善。

I agree the standard of the legal truth in china ,and think the standard of the objective truth ignores the relative truth and the particularity of the lawsuit ;as a idea of justice ,the objective truth couldn't be approached in justiciary practice .

笔者赞同我国应实行法律真实证明标准，认为客观真实证明标准忽视了认识的相对性和诉讼证明的特殊性；作为一种司法理念，客观真实在司法实践中难以实现。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Their theory fits in well with primitive and peaceful periods of history; but in its application to complicated and stormy periods in the life of nations, when several different authorities rise up simultaneously and struggle together, the inconvenience arises that the legitimist historian will assert that the National Assembly, the Directorate, and Bonaparte were only violations of real authority; while the Republican and the Bonapartist will maintain, one that the Republic, and the other that the Empire were the real authority, and that all the rest was a violation of authority.

他们的理论只适用于原始的、和平的历史时期，而当各民族处在复杂而动乱的时期，各种权力同时并起，互相斗争，他们的理论就不适用了，因为正统派的史学家将会证明，国民议会，执政内阁和波拿巴都不过是真正权力的侵犯者，而共和派将会证明，国民议会是真正的政权，波拿巴派将会证明帝国是真正的政权，其他一切都是权力的侵犯者。

The lily eventually meets the most important moment of her life. When she is blooming luxuriantly in the wind of the canyon among the weeds, she proved her value, the meaning for existence and her beauty.

终于，百合花迎来了它生命中最重要的一刻，当它迎风怒放在峡谷中，怒放在野草丛中的时候，它证明了自己的价值，证明了自己的意义，证明了自己的美丽。

Division or class in a complete system or grouping 种类challenge v. question the lawfulness or rightness of 对…表示异议,怀疑compensate v. give sth. to make up 弥补confine v. rest

任何单位或个人认为通过精品学习网包含的内容可能涉嫌侵犯其合法权益，应该及时向精品学习网或服务网站书面反馈，并提供身份证明、权属证明及详细侵权情况证明，精品学习网在收到上述法律文件后，将会尽快移除被控侵权内容。

If a weighing clerk, he may save for the firm by doubting the adjustment of the scales and having them corrected, even if this be the province of the master mechanic.

任何有能力有抱负的青年都应当时刻准备着证明自己的能力，证明自己的价值，证明自己是值得肩负更大的使命的。

This paper, by means of Rolle theorem, introduces constant method to demonstrate mean value theorem for differential calculus and attains the corresponding supplementary function of the demonstrating method.

借助于Rolle定理，用待定常数法证明了微分中值定理，得到了该证明方法的辅助函数簇，这种证明方法对解决同类问题有很好的推广应用价值。

In chapter 2, we prove that sn—first countable spaces are preserved by the finite subsequence-covering mappings.By this result, we prove that the finite subsequence-covering, quotient mappings preserve g—metrizable spaces, also prove that the finite subsequence-covering, closed mappings preserve sn—metrizable spaces, g-metrizable spaces, metrizable spaces, point-countable bases.

在第二章中，我们主要证明了有限子序列覆盖映射保持sn-第一可数空间，作为它的应用，又证明了有限子序列覆盖、商映射保持g-第一可数空间，也证明了有限子序列覆盖闭映射保持sn-度量空间，g-度量空间，度量空间，点可数基。

WA mathematical model so called "Poincaré Model" is introduced to solve these problems by using the theorems of Euclidean geometry stead of Non Euclidean geometry.

提供一种用模型法证明非欧几何定理的证明方法，在证明中可以使用欧氏几何的定理，从而使学生对非欧几何有更深刻的认

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了