查询词典 propositional calculus

By using the model of this interpretation, the reliability theorem and the uniformity theorem are proved of the propositional calculus plus syllogistic system.

本文最主要的工作是建立了三段论的一种解释，并且在这种解释模型中，证明了命题演算+三段论系统的可靠性定理，一致性定理，还从语义角度，对项的周延性等问题发表了一些意见。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

The formal deductive systenm for Fuzzy propositional calculus, R0-algebras and BR0-algebras have been studied. The concepts of WBR0-algebras are proposed, the relationship between it and BR0-algebras has been investigated, the definition of basis BR0-algebras is simplified. Based on discussing the relationship between regular FI-algebras and regular residual lattice, the relationship between FI-algebras and basis R0-algebras has been investigated.

研究了王国俊教授建立的模糊命题演算的形式演绎系统L和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L系统，提出了WBR0-代数的观点，讨论了它与BR0-代数的关系，简化了BR0-代数的定义，在讨论正则FI-代数与正则剩余格之间关系的基础上，讨论了BR0-代数与FI-代数的相互关系。

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？

Prelinearity residuated-lattice; BL-algebra; BR_0-Algebra; Propositional Calculus System PL~*; Weak Lattic Implication-Algebra

基础科学，数学，数理逻辑、数学基础预线性剩余格； BL代数； BR_0代数； PL~*系统；弱格蕴涵代数

A kind of calculus method that is used to determine the truth-values of propositional logic formulae by means of the dynamic neural networks is proposed. It is not necessary that the formulae be simplified into normal form.

提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。

With the publication of the Dai Wei Ji Shi Ji, a translation of Loomis' textbook Elements of Analytical Geometry and of the Differential and Integral Calculus (1851), in 1859, the differential and integral calculus was introduced into China.

19世纪后期是中国数学由传统向近现代转化的一个重要时期，微积分是近代数学乃至大部分自然科学的最基础的理论，这个理论是从1859年出版的译著《代微积拾级》中介绍到中国来的。

The objective of this investigation was to compare the pharmacodynamics of Sheng Wu Niu Huang with those of the natural calculus bovis and the artificial calculus bovis from the acute toxity, antipyretic effect, hypnotic effect, anticonvulsive effect, anti-inflammatory effect, antiviral effect and the influence on the hemorheology.

运用比较药理学方法将生物牛黄中间体与天然牛黄、人工牛黄从急性毒性试验、解热作用试验、催眠作用试验、抗惊厥作用试验、抗炎作用试验、抗病毒作用试验以及对血液流变学影响等方面进行了药效学比较研究。

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分"逼近法"的精髓，在微积分的各个方面都有重要的应用。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

Smoking cigarettes adds to the Computer Desk Computer manufacturer computer mouse Computer Computerized collar knitter machine Conduit Bodies construction board Container Bag Control Arm Cooking Thermometer general levels of air pollution as well as damaging our health.

吸烟不仅对健康有害，而且增加空气污染程度。香烟雾含有多种有害物质：不仅有致癌化学物质、有某种能阻止氧气进入血液的气体，还有引起血压增高、心速加快的被称为尼古丁的物质。

He is one of my favorite actors.

他是我最喜欢的男演员之一。