查询词典 theorem of alternative

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

By applying existence theorems of maximal elements for a family of GB-majorized mappings in a product space of G-convex spaces, some coincidence theorem, Fan-Browder type fixed point theorem and some existence theorems of solutions for a system of minimax inequalities are proved under noncompact setting of G-convex spaces.

通过应用G-凸空间的乘积空间内一族GB-优化映象的极大元的存在定理，在G-凸空间的非紧设置下证明了某些重合点定理，Fan-Browder型不动点定理和极小极大不等式组的解的存在性定理。

Chapter 6 is contributed to studying the convergence properties of pariwise NQD random sequences. We extend the Kolomogrov-type inequality, Baum and Katz complete convergence, the three series theorem, Marcinkiewicz strong law of large number and Jamison theorem.

第六章研究两两NQD列的收敛性质，首先给出两两NQD列的Kolmogorov型不等式，进而讨论它的若干收敛性质，获得了与独立情形一样的Baum和Katz完全收敛定理；几乎达到独立情形著名的Marcinkiewicz强大数定律，三级数定理，推广了著名的Jamison定理。

We discussed the stability of the system balance, used the Poincare-Bendixson's annular region theorem to prove the existence, and used the Zhang Zhifen unicity theorem to prove the uniqueness of limit cycle, at the same time give meaning to the corresponding conclusions on the ecology.

讨论了系统平衡点的稳定性，用Bendixson环域定理证明极限环的存在性，借助张芷芬唯一性定理证明极限环的唯一性，同时对相应结论的生态学意义给予说明。

For the uniqueness problem of generator, by using some new methods (see Theorem 2.2.7), we prove the uniqueness theorem of generator under the assumptions which guarantee that the solution exists and is unique.

对于生成元的唯一性问题，我们采用与已有文献不同的全新的方法(见论文定理2.2.7)，在仅保证方程解存在唯一的假设条件下，证明了生成元的唯一性定理。

The Uniqueness Theorem for electric field and its proof is presented in detail in textbooks, but the Uniqueness Theorem for magnetic isn't given enough infor mation for us.

课本中给出了静电场唯一性定理的表述形式及其严格证明，对于磁场部分则是点到即止。

The existence and uniqueness of the limit cycle are proved by applying Poincare-Bendixson theorem and Zhang Zhifen's Uniqueness theorem.

运用Poincare-Bendixson环域定理，证明了极限环的存在性。这用张芷芬惟一性定理，注明了极限环的惟一性。

This paper focuses on the Schur theorem and the proof of it, the definition of a unitary matrix, Schur theorem given several important inference, and its application in the matrix above few examples.

本文重点研究了Schur定理的内容和它的证明，定义了酉矩阵，给出了Schur定理的几个重要推论，以及其应用在矩阵上面的几个实例。

By applying a Fan-Glicksberg type fixed point theorem for upper semicontinuous set-valued mappings with closed acyclic values and a maximum theorem,several existence theorems of weighted Nath-equilibria and Pareto equilibria for the constrained multiobjective games are proved in noncompact locally convex H-spaces.

应用局部凸H－空间内具有闭零调值的上半连续集值映象的Fan－Glicksberg型不动点定理和极大化定理，对无限最优化总理2和约束对策问题在没有线性结构的局部凸H－空间内证明了解的某些新的存在定理，这些定理改进和推广了最近文献中的许多重要结果。

Weil's theorem on character sums is an important theorem in number theory.

1.Weil定理关于特征和的Weil定理是一个重要的数论定理。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48