您要查找的是不是:
- Compared with proposition logic and quantifier logic, logic of syllogism is more special, and the validity of valid mood of syllogism can not be all illustrated with general quantifier logic. 三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。
- But fuzzy logic only pay attention to the sequential changeability of fuzzy proposition logic's value, not notice the sequential changeability of fuzzy proposition logic's conjunction operation model. 但是模糊逻辑只注意到了模糊命题逻辑真值的连续可变性,而没有认识到模糊命题连接词的运算模型的连续可变性。
- In this paper, the method of making compositional MR (CMR) based on the speculative law of proposition logic is presented.This method constructs new MRs by composing existing MRs in a pairwise way. 基于命题逻辑的推理规则,提出了复合蜕变关系的构造方法,该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系。
- The Subject Promise of Classical Proposition Logic 经典命题逻辑的本体论承诺
- Lattice-valued Proposition Logic System 格值命题逻辑
- The Syntax Perfectibility Problem of Proposition Logic 命题逻辑语法完全性问题
- 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. 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- 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命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间。
- Inference of the obverse of a proposition. 换质法推导一个命题的方法
- This is the inverse of his earlier proposition. 这和他早些时候提的建议截然相反。
- A proposition obtained by conversion. 逆命题通过换位得到的命题
- Loosely, a mathematical or logic operator. 不严格地说,一种数学或逻辑运算符。
- Keeping a shop in this village is not a pay proposition. 在这个村子里开设商店是一桩亏本的买卖。