查询词典 propositional connective

Marx the propositional core of this one essence about the person is the mobile " with footloose ".

马克思这一有关人的本质的命题的核心是&自由安闲的活动&。

It is clear that only what is essential to the most general propositional form may be included in its description--for otherwise it would not be the most general form.

显然，在这种描述中只能包含对于最一般的命题形式为本质的东西，否则，它就不会是最一般的形式。

This propositional all the time is not worn in test the operator of Chinese Internet enterprise.

这个命题无时无刻不在考验着中国互联网企业的经营者。

The new propositional knowledge was widely disseminated through a growing network of scientific and engineering journals and encyclopedias.

新的命题性的知识通过不断增长的科学和工程杂志和百科全书形成的网络得以传播。

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年）。

But GST= 0.156, Nm=1. 588. As a result, the foundation of Youyongchi Avicennia marina population was the result of the migration of hypocotyles and human factors.

这项工作可以为海岸防护林中新引进种类的判定以及为研究种群建立者效应方法的确定提供科学依据。

The two-dimensional CDRC-ADI-FDTD update equations for collision unmagnetized plasma are induced. The unconditional stability of the CDRC-ADI-FDTD formulation for collision unmagnetized plasma is obtained by the examples.

推导了碰撞非磁化等离子体中的二维CDRC-ADI-FDTD迭代公式，并用算例验证了碰撞非磁化等离子体CDRC-ADI-FDTD算法也是无条件稳定的。