查询词典 propositional function

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

It combines with a raised noun via predication operation to form a new propositional function and constructs a grammatical sentence with the subject.

它们如果要成为句子的谓语，必须首先通过一个谓词化的操作将性质π转化为命题函数，才能成为合格的谓语并与主语结合形成一个合法的句子。

A yuan of 3 second function the propositional means in the university entrance exam is mixed from the extreme value that studies function at first the main character of the function such as drab interval begins, had now

一元三次函数在高考中的命题方式从最初论究函数的极值和单调区间等函数的基本性质开始，现在有了

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 direct source of this theory originated from the research made by J. S. Mill and G. Frege about the relation between reference and meaning. For the purpose of resolving philosophic problems like "existence", Russell defined the word "description" as propositional function with accurate meaning and used it as a weapon to serve his philosophy.

它直接渊源于穆勒和弗雷格的对指称与涵义的关系研究；罗素从解决"存在"等哲学问题的目的出发，将摹状词在命题中化解为具有精确涵义的命题函项，并以之为武器为他的哲学服务。

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.

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

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

And it is easy to see that the propositional sign in 4.442 expresses a single truth-function of elementary propositions even when 'p' and 'q' are truth-functions of elementary propositions.

容易看出，即使&p&和&q&是基本命题的真值函项，4.442中的命题记号也仍然是表达基本命题的一个真值函项。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。