命题逻辑公式 meaning in Chinese
formula of propositional logic
Examples
- Regular similarity relation on f in propositional logic
命题逻辑公式集上的正则相似关系 - Truth degree of intuitionistic fuzzy propositional logic formula
直觉模糊命题逻辑公式的真度 - Probability truth degree of intuitionistic fuzzy propositional logic system
直觉模糊命题逻辑公式的概率真度 - This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
本文对web语义化过程中部分关键问题和基于语义化web的kms进行了研究，主要的创新性工作包括：定义了逻辑公式及关系公理描述原语的ontology语义： web环境中用标记语言描述对象和资源，为了在语义化web上表示知识、逻辑公式、关系公理和规则，需要定义描述命题逻辑公式、谓词逻辑公式、 horn逻辑的逻辑原语以及描述属性之间关系的关系原语。 - About theorem , the paper introduces the syntax of ideal , also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property . at the same time , this paper corrects one not so perfect lemma proving in a literature written by f " abrega , herzog and guttman
在理论上，本文引入了理想的语义，并首次使用了理想的概念对安全协议的秘密性进行严格的定义，同时使用理想的命题逻辑公式表示安全协议的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文献中的一个引理的证明，原有的证明是不完善的。