查询词典 propositional algebra

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.

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

The formal deductive systenm for Fuzzy propositional calculus, R0-algebras and BR0-algebras have been studied. The concepts of WBR0-algebras are proposed, the relationship between it and BR0-algebras has been investigated, the definition of basis BR0-algebras is simplified. Based on discussing the relationship between regular FI-algebras and regular residual lattice, the relationship between FI-algebras and basis R0-algebras has been investigated.

研究了王国俊教授建立的模糊命题演算的形式演绎系统L和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L系统，提出了WBR0-代数的观点，讨论了它与BR0-代数的关系，简化了BR0-代数的定义，在讨论正则FI-代数与正则剩余格之间关系的基础上，讨论了BR0-代数与FI-代数的相互关系。

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.

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

This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.

借助于可能世界模型，讨论了一类非精确推理，并将其应用于命题逻辑和三段论推理

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

Based on test-score semantics, the canonical method for fuzzy propositions and the organization of fuzzy knowledge base are discussed, and the inference mechanisms of fuzzy expert systems, i.e the fuzzy logic inference for unqualified propositions, the intersection/product syllogism , the consequent conjunction syllogism and the inference of propositional chain ...

基于测试-评分语义学，重点探讨了模糊命题的规范化方法和模糊知识库的组织，研究了模糊专家系统的推理机制：对未限定化命题的模糊逻辑推理；对量化命题的交/积三段论推理，推论连接三段论推理以及命题链的推理。

Warden: That's a beautiful dog, but don't bring her again.

那是条漂亮的狗，但是不要再把她带来了。

You get up in the morning – no hangover!

你第二天早上起来的时候—不会宿醉！