查询词典 propositional function

Accordingly, of current bubble the bogus that saying should be a model is propositional.

因此，目前的泡沫之说应该是典型的伪命题。

In this paper , we propose a new description method of information processing systems based on propositional logic.

根据描述方法的不同，状态转移系统本身也可以作为形式规格来使用。

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.

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

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。