条件命题

For lack of the conception of passage conditions, is confused with "addition theorem of probabilities".

由于没有引进"通道条件"，人们混淆了"概率的迭加假定"和"概率的加法定理"两个命题。

In fact, be based on Baconian metric analysis, can reach merely a few laws that have strict and applicable requirement, and cannot reach forever run-of-mill proposition, also cannot confirm even or card bogus a basic theory.

事实上，基于归纳的计量分析，仅仅可以得出一些具有严格适用条件的规律，而永远无法得出一般性的命题，甚至也无法证实或证伪一个基本理论。

Sun Tzu's military dialectical thinking quite rich, but is still simple nature; Clausewitz some of the military dialectics proposition, then kept covered with dust idealist thinking agnostic; Marx and Engels created dialectical materialism, but not the creation of the military domain-specific epistemology and methodology, because they do not have the necessary conditions for the practice of war.

孙子的军事辩证法思想相当丰富，但尚属朴素的性质；克劳塞维茨的一些军事辩证法命题，则蒙罩着唯心主义不可知论的思想灰尘；马克思和恩格斯创立了辩证唯物论，但没有创立军事领域特定的认识论和方法论，因为他们不具备必要的战争实践条件。

This paper firstly introduces the concept of least function dependence set and the minimal fixed point theory, and then analyzes the relation between closure of function dependence set and complete lattice, and puts forward analyzes a concrete solution of least function dependence with use of minimal fixed point theory.

本文尝试采用严密的逻辑方法，利用最小不动点理论去求解最小函数依赖集。1最小函数依赖集(1)函数依赖一个数据依赖是关于关系数据库中关系的属性值之间的相关关系的一个命题，它规定了一个关系数据库的规范所满足的完整性约束条件。

The counterexample were given on the condition of some precondition was failed in every related theorem.

同时对一些命题在条件放松后，给出新的结果，对原有理论作了补充。

Under the cases of the linear interconnected systems with all its subsystems are one dimension, a theorem to judge the properties of single loop interactions has been given; the study also indicated that the properties of interactions cann't independent of the properties of subsystems in the multi-loop interaction conditions, and a all field root locus method has been proposed to decide the properties of interactions; a interaction stabilizable theorem has been given, and the efficacy of interactions with respect to the interconnected systems has been configured, Some primary results are reported which are induced by using a method of computer aided test to study block interactions, the stationary feedback efficacy of closed loop interactions have been discussed and a stability guess has been proposed.

本文提出互连系统的合作稳定性概念及其原理，给出了互连系统的本原稳定度、稳定中心、回路关连的级数以及关连的性质等基本定义；并在此基础上对线性互连系统进行关连分析，给出了一系列涉及到关连与互连系统稳定性关系的命题、引理、定理及其证明；其中，在子系统都是一维的线性定常互连系统情况，得出了单回路关连性质判断的定理；并指出在多回路关连条件下，关连的性质不能独立于子系统的性质，以及用全域根轨迹法判断关连性质的方法；给出了关连可稳定理，并对关连对互连系统的影响作用进行了分析。本文还用机辅试验的方法研究块阵关连并给出一些初步结果，本中还探讨了回路关连的静态反馈作用并提出一个判稳猜想。

The disjunctive proposition has two aspects of independence of two important cornerstones for logic inference.

需用到下述充分条件假言命题：若电磁波往返于月地间的时间为x秒A(x，则月地距离为x/2×30万公里B

Finally, the paper analyses the interrelationship between different types of procedure democracy and resultant democracy, and propose the sufficient conditions for Findlay Proposition.

分析了不同类型的程式民主与结果民主之间的关系，分析了芬德利命题得以成立的条件。

Consideration of size leads to a general proposition for quadratic forms in normal variate which gives conditions for a class of test statistics, which are chi-square under

正态变量的二次齐次式给出了一类统计检验的条件，对大小的考虑引出了一个对其一般性的命题，即在分类正确若为卡方分配，在分类有误时将有向上偏误。

Consideration of size leads to a general proposition for quadratic forms in normal variate which gives conditions for a class of test statistics, which are chi-square under correct specification, to be oversized under misspecification.

正态变量的二次齐次式给出了一类统计检验的条件，对大小的考虑引出了一个对其一般性的命题，即在分类正确若为卡方分配，在分类有误时将有向上偏误。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。