证明性的

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

This thesis is about the establishment of semantic Web based on the binary relation ,advances the formal definition of the semanteme in the semantic Web,based on it,advances the way semanteme is described and derived and discusses the semantic completeness.

基于二元关系讨论了语义Web的建立过程，具体给出语义Web中相关语义的形式化定义，并基于此给出了语义描述和挖掘方法，进行了集合相关语义的完备性的证明。

In this note, we prove a congruence relation on real quadratic fields which relates class number and certain character sum.

本文证明了关于实二次域的类数和某类特征和的同余式，同时给出某类实二次域的类数可除性的一个判别法则。

They are :(1) The generalization of mathematical methods;(2) The mathematical method of formulization;(3) The proof of construction;(4) The introduction of algebraic symbols.

在宋元数学中，出现一些新的思想、方法和理论，主要有：(1)数学方法的一般化；(2)程序化的数学方法；(3)构造性的证明；(4)代数符号的引入。

In this paper, five equivalent conditions of the definition and five special nature of analytic function are given, and followed by their mutual equivalence of the proof , the relationship between the equivalent conditions and the nature of analytic functions is revealed, which can help us to learn the concept of complex variable function in deep depth and make analytic functions an important role in complex variable function.

本文依次给出了解析函数的五个等价条件及五个性质，并通过对它们相互等价性的证明，导出了解析函数等价条件与性质之间的关系，更加深入地揭示解析函数这一概念的内涵，展示出了解析函数在复变函数论学习中的重要性。

In this chapter, we give the proof of the global convergence with standard conditions.

最后给出算法全局收敛性的证明，以及与[3]中的算法进行理论上的分析比较，并给出实际计算的数值例子。

By the technical reform of displace of proof burden, the problem of extorting a confession by

经过这种证明责任倒置的技术性改革，侦查人员是否采取刑讯逼供的问题就可以转化成为庭外供述笔录是否具有自愿性和可采性的程序问题。

Refuse to heed anyone's advice-unless that person is willing to give you satisfactory evidence of the soundness of his or her counsel.you will save yourself from hucksters,the misguided,and fools.

除非有人愿意以足够证据，证明他的建议具有一定的可*性，否则别接受任何人的建议，你将会因谨慎而避免被误导，或被当成傻瓜。

Further analysis suggested that about half of total sites experienced adjustments of DNA methylation patterns in different ploidy watermelons.

进一步分析证明，在检测到的遗传位点中，约有一半的位点DNA甲基化模式在不同倍性的西瓜中发生了调整。

Since this proving is self-judging, it will finally lead to instability of politics. Therefore, it should be avoided in the practical political life.

由于这种证明是自涉性的，所以它最终会导致政治的不稳态，因此在现实的政治生活里必须极力避免。

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.

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