1) standard proposition calculations system theorems
标准命题演算系统定理
2) standard proposition calculations system axioms
标准命题演算系统公理
3) Propositional calculus system
命题演算系统
1.
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system,and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。
4) propositional calculus form system
命题演算形式系统
1.
This paper aims at propositional calculus form systems,builds a logical model in Isabelle/HOL,and verifies the main properties of PC and ND.
本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle/HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。
5) propositional calculus
命题演算
1.
To meet the application needs of the incomplete information database,based on original connectives ∧,∨,→, and μ,a new three-valued logic propositional calculus system M.
构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。
2.
Methods At first,through the study of the common characteris ties of fuzzy proposi- tional calculus systems,a reasoning operator is obtained on the powerset of fomula set which is satisfied by general fuzzy propositional calculus system;Secondly,with the aid of the thought of cstablishing topological space with to- pological closure operator,the theory of reasoning closure space i.
方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。
3.
The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic systems ,W,W k , that are relevant to the former in semantics, has been studied, both of them are first proposed by professor Guo jun Wang.
研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途
6) sentential calculus
命题演算
1.
The authors give a brief introduction to Hilbert s type intuitionistic system of first order sentential calculus,and prove some theorems of this system by logical deduction method.
简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 。
2.
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
补充资料：最小命题演算
最小命题演算
minimal propostional calculus
最小命题演算[m丽1.目，旧祥.‘田目c川浏谓;~M:-几L“oe npon03加叨OE~oe Ilc，“c邢11“el，最小表达式演算(几亩血祖1 calc川us ofexP比岛~) 由正命题演算(泌iti记propositional calcul伍)n加上一个新的联结词二(否定)以及如下的公理模式: (A OB)。((A。，B)。，A)而构成的逻辑演算.此公理模式称为归谬法(hwof1记uetio ada比山月切m). 最小命题演算最大的特点是在该系统中，并不是每一个公式都可以从“假”推导出来，也就是说，从某一形为门A浅A这样的公式推导出来.有另一种构成最小命题演算的办法:由n加上一个新的命题常项上(假)，而不增加任何新的公理模式，也不增加否定联结词，，在这样的系统中，公式A。上将代替A的否定，A.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条