查询词典 arithmetical predicate

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

The function of the modifier prior to the predicate nominal is similar to that of the copula """"是"""" by transferring the property denoted by the noun into a propositional function.

对这些限制条件我们从共时、历时及语言类型学的角度进行了验证，认为名词谓语句中出现的这些附加条件应该是具有普遍意义的。

The function of the modifier prior to the predicate nominal issimilar to that of the copula "是" by transferring the property denoted by the noun into a propositional function.

对这些限制条件我们从共时、历时及语言类型学的角度进行了验证，认为名词谓语句中出现的这些附加条件应该是具有普遍意义的。

Thus,§ 2.3 adds truth constants as special formulae to L* predicate logic and axioms about truth constants. The truth degree and the provability of a formula are proposed.

R_0代数是为适应系统研究的需要而提出的，因此对R_0代数作进一步的讨论有助于加深对分系统的认识。

The construction of numeral abbreviation can be roughly grouped into four types: subordination, coordination, subject+predicate and verb+object. Among them, subordination occupies the main part. Numeral abbreviation can be derived from either extracting the first, the middle or the last morpheme from its original words or generalizing them. Numeral abbreviation consists of four classes: word, phrase, sentence and text in terms of its original words. Most numeral abbreviations are disyllabic and quadrisyllable, and only a small number of them are trisyllabic and polysyllabic.

数字缩略语的结构有类化的特点，包括偏正式、并列式、主谓式、动宾式等，其中以偏正式为主；在抽取方式上，数字缩略语有抽头式、取中式、取尾式和统括式；从缩略的对象上看，数字缩略语的缩略可分为词、短语、句子和篇章四个层次；在音节分布上，数字缩略语以二、四音节为主，三音节和多音节为辅。

We further provide five principles to pin down the referentiality of the postverbal noun phrase with respect to the predicate construction.

此外，本论文亦提出五项原则来辅助判断在「 V 有/呒 NP 」谓语里，动词后名词组何时可以作为有指，何时可以作为无指。

Through the above regularities, we can predicate the contact reliability of relay according to the value of contact resistance varying with pulse current.

进而在继电器可靠性研究与分析中，我们根据这一规律可以来预测触点接触可靠性。

The second parameter is the list of predicate arguments each wrapped in round brackets.

第二个参数是断言参数列表，使用圆括号外覆(BOOST_PP 序列格式)。

At syntactic level, in translating the four-character structures, flexible translation of concrete and abstract words must be taken into consideration; as for the successive use of four-character structures, non-predicate forms and simple clauses are adopted; and the Chinese run-on sentences are reorganized in structure and translated into simple clauses and loose sentences in English.

在句法层面，翻译成语时，抽象和具体词汇之间需要灵活转换；多用非谓语动词结构和简单分句来处理连续的四字格；按照英语习惯重组汉语流水句，将其转化成英语的简单句和松散句。

Later, in order to provide a semantical model for the program withprobability choice, many researchers research the probabilistic predicate transformers.

后来，研究学者为了给带有概率选择的程序提供语义模型，提出概率谓词转换器。

His female bullfighter Lydia gradually Health love, but she was in a vegetative state after the Bulls Zhuangcheng away from her, just because Lydia's ex-boyfriend showed more affectionate than he is like love.

他对女斗牛士莉迪亚渐生爱意，却在她被公牛撞成植物人后离她而去，仅仅因为莉迪亚的前男友表现出好似比他更深情的爱。

I know of none which are not easy to answer, but what I am trying to do now is only by a series of hints to throw some light on the narrow path of legal doctrine, and upon two pitfalls which, as it seems to me, lie perilously near to it.

我不认为有什么难以回答的问题，但我现在要做的仅仅是通过一系列线索，来给法律理论的狭窄路径以及在我看来离它近得危险的两个陷阱提供一些启示。