查询词典 propositional

Division this the problem of theorematic existence, be in not only " the effectiveness that freewill negotiation solves " on the problem, existing pattern of play chess of rich of a kind of static state, double head and blame cooperate with the confine; that rich weichis and, its " fixity " the misapplication that propositional place may bring about, and the serious and undesirable consequence that be reformed in the society and produces in market move process, need us to try to be on guard more.

科斯定理存在的问题，不仅在&自愿谈判解决的有效性&问题上，存在着一种静态、双头博弈格局和非协同博弈的局限；而且，其&不变性&命题所可能导致的误用，以及在社会改革和市场转移过程中所产生的严重不良后果，更是需要我们加以防范的。

Davidson argues that in ascribing propositional attitudes to one another, we employ a distinctive 'theory of interpretation', what I shall call an I -theory.

Davidson认为，在相互归给命题态度的时候，我们使用了一个特殊的解释理论，我称为I理论。

Orthodox theology viewed man as called to know God and share his life, to be saved, not by God's external activity or by one's understanding of propositional truths, but by being himself deified.

东正教神学认为，男子的要求，知道上帝和分享他的生命，保存，而不是由上帝的外部活动，或由一个人的理解命题的真理，而是由被神化自己。

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

Hence, hedonists who value propositional pleasure rather than sensational pleasure can deny that more pleasure is achieved by hooking oneself up to such an experience machine (Feldman 1997, 79-105; see also Tannsjo 1998 and Feldman 2004 for more on hedonism).

因此，享乐主义者谁值命题乐趣，而不是耸人听闻的快乐也不能否认，更多的乐趣是接轨，自己做到这样的机器所取得的经验（费尔德曼1997，79-105，又见就享乐主义更多滕舍1998年和费尔德曼2004年）。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

An I -theory places substantive constraints on propositional attitude ascriptions. Beliefs, for instance, are ascribable only to creatures possessing a language, only to creatures capable of describing their own beliefs in a language translatable into our own.

一个I理论对命题态度的归给进行了&实质约束&，例如：信念，我们只能归给拥有语言的生物，只能归给能够（在那种可译为我们自己语言的语言中）描述它们自己的信念。

And it is easy to see that the propositional sign in 4.442 expresses a single truth-function of elementary propositions even when 'p' and 'q' are truth-functions of elementary propositions.

容易看出，即使&p&和&q&是基本命题的真值函项，4.442中的命题记号也仍然是表达基本命题的一个真值函项。

They are not only sound and complete 3-valued logical systems, but also complete in the content of the propositional connectives.

MP〓和MF〓分别由20条和26条推理规则组成，是命题联结词含量完全且可靠和完备的三值逻辑系统。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。