您要查找的是不是：
- 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. 第四部分首先对安德森的规范命题逻辑做一个概述,然后对其中若干定理做一些法律评论。
- 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命题逻辑系统中提出了公式的随机真度和随机距离，建立了随机逻辑度量空间。
- 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. 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
- Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a 3-valued propositional logic based on an open world. 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
- Being combined with propositional logic and classical probability theory，Probabilistic Argumentation Systems allows to judge open questions from a qualitative and quantitative point of view. 摘要 概率论据系统将命题逻辑与传统概率论相结合，可以对开放性问题作出定性或定量地判断。
- Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics. 命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。
- The Ordered Structure of Propositional Logic 命题逻辑的序结构
- Lukasiewicz propositional logic system Lukasiewicz命题逻辑系统
- law of excluded middle of propositional logic 命题逻辑的排中律
- conventional propositional logic 常规命题逻辑
- Boolean algebra of propositional logic 命题逻辑布尔代数
- disturbing fuzzy propositional logic 扰动模糊命题逻辑
- intuitionistic fuzzy propositional logic 直觉模糊命题逻辑
