查询词典 propositional

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 ...

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

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

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

In this paper , we propose a new description method of information processing systems based on propositional logic.

本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法。

To solve the satisfiability problem in propositional logic, many algorithms have been proposed in recent years.

命题逻辑可满足性问题是计算机科学中的一个重要问题。近年来许多学者在这方面进行了大量的研究，提出了不少有效的算法。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。