查询词典 deductive proof

R the third example : through studying the area of sector, inquiry in deductive proof is carried out.

以"扇形面积"一节为例，开展演绎证明中的探究。

In this paper another deductive proof of the algorithms for the recursive solution of the system of linear equations with a Toeplitz coefficient matrix is considered, and formulas for the specific recursive solution of the various forms of the system of linear equations in accordance with a Toeplitz coefficient matrix are given.

本文给出了具有托布里兹系数矩阵线性方程组递推解法算式的另一推导证明方法，并给出了基于托布里兹系数矩阵的各种线性方程组的具体递推解法公式。

Frege's thought of philosophy of logic is the theoretical support ofhis thought system.A new logical system created by Frege is the support of his thoughtof philosophy of logic.As a tool of proof and a deductive method,it is used not only tosolve the mathematical problems but also used as a tool to remould philosophy.

弗雷格的逻辑哲学思想是他的思想体系的理论支撑，他创造的一种新的逻辑体系是其逻辑哲学思想的支撑，作为论证工具、推论方法，不仅去解决数学问题，又把它作为改造哲学的有力工具。

Themes, such as the difference between convention, fact, opinion and preference; deductive and inductive proof; validity and truth; evidence; and the ethics of persuasion, are the basis on which the skills are taught.

这些文章的内容有包含习惯的不同、事件的相对面、意见的分歧、喜好的差异、演绎法即归纳法得的结论等等。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

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.

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

Draw lessons from increment type observation implement with PI condition observation implement research achievement, combine heat to dominate a field complex control system designs bunchy form normally the actual condition of regulating system, offer observation of function of PI of increment style broad sense implement and the concept that its condition feedbacks, the tectonic regulating system that cluster form and observation implement feedback of shirt-sleeve broad sense condition controls a system, learn an analysis through number, give out the sufficient condition of IFO-PIO/BS reachs his corresponding theorem and deductive proof, announce give this to controlled systematic equivalence to be had at IFO-PIO/BS change the function that gain condition feedbacks.

借鉴增量式观测器和PI状态观测器的探究成果，并结合热控领域复杂控制系统通常设计成串级调节系统的实际情况，提出增量式广义PI函数观测器及其状态反馈的概念，构造串级调节系统和观测器相融合的广义状态反馈控制系统，通过数学分析，给出IFO-PIO/BS的充分条件及其相应定理和推论的证实，揭示出该控制系统等价于IFO-PIO/BS具有了变增益状态反馈的功能。

According to demonstrate the different forms of reasoning can be divided into deductive arguments and inductive argument, according to argue different methods can be divided into direct proof and indirect proof.

根据论证所运用推理形式的不同，可分为演绎论证与归纳论证，根据论证方法不同，可分为直接论证和间接论证。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

Chrysanthemum of 10 thousand birthday is lax to edaphic requirement, with the arenaceous qualitative loam with fecund, good drainage had better.

万寿菊对土壤要求不严，以肥沃。排水良好的砂质壤土为好。

He unstepped the mast and furled the sail and tied it.

他拔下桅杆，把帆卷起，系住。