查询词典 implication

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

"Possibly the most important implication of the work is that gene therapy could now be carried out as an inexpensie procedure, able to be considered een in the less-deeloped world," Wang and his coauthors wrote.

&可能这项最重要的寓意在于现在的基因治疗可能已经成为一种不再昂贵的过程而被实行，即使是在那些不够发达的国家也可以被考虑。&

There is no tautology in the three-valued logic whose boolean connectives are Kleene implication and the negation in open-world.

但是，Kleene的蕴含词&→&和开放世界假定的否定词&&构成的三值命题逻辑系统没有重言式，通过选定特定的重言式作为推理的出发点进行推理行不通了。

Thus it has been pointed out time and again that man has evolved no special organ for speech, the implication being that we are simply making use of the organs for eating and breathing in our efforts to communicate.

因此，人类物种屡次被指出，并没有发展出特殊的器官来说话，这些器官只简单被用来进食和呼吸进而努力尝试来沟通。

In the everchanging 21st century, even the word "habit" carries a negative implication.

在千变万化的21世纪，甚至&习惯&这个词本身也带有负面涵义。

Objective To investigate the expression of peripheral blood CD44 and its clinical implication in primary renal cell carcinoma.

目的 探讨细胞表面黏附分子CD44在肾细胞癌外周血淋巴细胞中的表达及临床意义。

For formalized lattice implication algebra theoryT, it is proved thatTis preserved under submodels, unions of chains and homomorphisms;Tis neither complete nor model complete, and hence there exists no built-in Skolem function.

讨论有关格蕴涵代数结构的模型论性质，证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态，理论T不是完备的、也不是模型完备的，因而不存在内在Skolem函数。

Morning dress dressing mirror, if good to see your face, often ease of mind, which is a positive implication.

例如，清晨对着镜子梳妆打扮一下，如果看到自己的脸色很好，往往会心情舒畅，这是一种积极性的暗示。

"Research on Temperament of Piano Sound" is a systematic description related with aesthetics about mathematics and physics of temperament study of piano art sound in the deep layer, opening out comprehensively the abundant implication of the swing on piano. Piano is not the musical instrument with only twelve-tone-equal temperament, and its structure of sound has three tuning systems in which twelve-tune-equal temperament is as basic frame, and just intonation and circle-of-fifths system are as addition.

&钢琴音响的乐律学研究&是对钢琴艺术音响进行深层系统的数理审美之描述，全面揭示钢琴丰富的音律蕴涵，即钢琴并非是单一的十二平均律乐器，其音响纵横结构是以十二平均律为基本框架，兼有纯律、五度相生律在内的&三律&乐器。

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 若在黑夜行走，就必碰跌，因为那光不在他里面。