查询词典 predicate calculus

Entering to the future needs to predicate the future,bring out the future needs previse the future correctly.

要走向未来，必须预见未来，要实现未来，又必须正确地预见未来。

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.

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

Sodium citrate; calcium carbonate; calcium hydroxide; potassium bicorbonate; magnesium carbonate; ferrous sulphate; Zinc sulphate; copper sulphate; manganese sulphate; potassium iodide; sodium selenite.

柠檬酸钠；碳酸钙；氢氧化钙；碳酸氢钾；碳酸镁；硫酸亚铁；硫酸锌；硫酸铜；硫酸锰；碘化钾；亚硒酸钠。

All this to say that I'm glad filmmaking hasn't become completely ironic. I can enjoy an ironic film as much as the next person, but they usually involve a message of some sort. One that's delivered in a smirkingly clever way that requires little in the way of talent.

所有这些都是说，我很高兴电影制作没有变成完全讽刺艺术，我可以和下一个人一样享受讽刺电影的乐趣，虽然他们经常会被划归到一定级别，技术方面不需要很高的才能。