您要查找的是不是：
- Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a3- valued propositional logic based on an open world. 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
- But again,these are sententially simple sentences,and thus are not amenable to treatment by propositional logic. 它们是我们在句子逻辑中所称的简单句，即被看作一个位经分析的句子整体。
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- The fourth is a summary of Anderson's normative propositional logic andanalysis of some theorem of it from the science of law. 第四部分首先对安德森的规范命题逻辑做一个概述,然后对其中若干定理做一些法律评论。
- Multiplies two values on the stack. 将堆栈上的两个值相乘。
- Then the ascent algorithm and generalized quasi-tautology are discussed in the part-valued Interval-valued Fuzzy Propositional Logic . 在此基础上给出局部赋值的广义拟重言式定义;并在其中建立了升级算法.
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而 多元代数 对应于一阶逻辑。
- From the syntactical point of view,the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system. 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画。
- By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulas in R0 three-valued propositional logic are introduced. 摘要利用赋值集的随机化方法，在三值R0命题逻辑系统中提出了公式的随机真度和随机距离，建立了随机逻辑度量空间。
- The measured value will be close to one of the two values. 测量值靠近两个值之一。
- Probability Truth Degree for Formula in the Continuous Value Propositions Logic System 连续值命题逻辑系统中公式的概率真度
- These two values are concatenated with a carriage return. 用回车符将这两个值串联在一起。
- The smaller of the two values represents the maximum static load. 这两个值的较小者代表最大静负荷。
- In digital design a quantity may have either of two values. 在数字设计中，变量可在两值中取一。
- What is the value proposition of an open standard? 一个开放标准的价值取向是什么呢?
- Use to indicate that two values do not equal each other. 用于指示两个值不相等。
- Returns one of two values determined by a logical test. 返回由逻辑测试确定的两个值之一。
- These elements compare two values, producing a boolean result. 这些元素比较两个值，产生一个布尔代数结果。
- We function best when those two values work hand in hand. 只有这两者和谐发展，我们才能得到最好得发展。
