1) standard proposition calculations system axioms
标准命题演算系统公理
2) standard proposition calculations system theorems
标准命题演算系统定理
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) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
补充资料：正命题演算
正命题演算
positive prepositional calculus
正命题演算l即sidve碑o卯51如.1 calodlls;u03I.T”BH0e.P0no3皿”班0”幼‘noe加c，.c月enl.e) 在语言{%26，V，。}中的一种命题演算(pro-p优itional caculus)，由八条公理: A。(B〕A)， (A〕(B“C))“((A OB)“(A OC))， A浅B OA，A浅B OB，A，(B OA%26B)， A 0 A VB，BOAVB， (A习C)。((B习C)。(A VB)，C)，和分离法则(m以lus pone朋)来描述.这种演算包含直觉主义演算I(见直觉主义(泊t山tjo血爪”中不依赖于否定的部分:任何不含，(否定)的命题公式在正命题演算中是可推出的，当_且仅当它在I中可推出.在正命题演算中加人以下两条公理模式便得到演算L 1)二A“(AOB)(前项否定律)(antecedent优即〔确law)， 2)(A。B)。“A。门B)。，A)(归谬律(re-ductio ad absurduln hw)). 为导出I，代替2)可以采用较弱的模式: 2‘)(A匀门A)”，A(部分归谬律)(bw of par-tjal代duetio ad absurd切m). 亦见蕴涵命题演算(如pli ca石ve propositionalcal-culus).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条