English translation for "命题逻辑公式"

formula of propositional logic

Related Translations:

真值命题:  truth value of proposition

基本命题:  elementary sentence

逻辑命题:  logic propositionlogical proposition

存在命题:  existential proposition

命题常数:  propositional constant

成分命题:  constituent proposition

条件命题:  conditional propositionconditional sentence

分子命题:  molecular proposition

否定命题:  negative proposition

假命题:  false statement; false proposition

Example Sentences:

	1.	Regular similarity relation on f in propositional logic 命题逻辑公式集上的正则相似关系
	2.	Truth degree of intuitionistic fuzzy propositional logic formula 直觉模糊命题逻辑公式的真度
	3.	Probability truth degree of intuitionistic fuzzy propositional logic system 直觉模糊命题逻辑公式的概率真度
	4.	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逻辑的逻辑原语以及描述属性之间关系的关系原语。
	5.	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三人文献中的一个引理的证明，原有的证明是不完善的。

Similar Words：

"命题量词" English translation, "命题论文" English translation, "命题逻辑" English translation, "命题逻辑布尔代数" English translation, "命题逻辑的外延性原理" English translation, "命题内容" English translation, "命题内运演" English translation, "命题树" English translation, "命题推演" English translation, "命题网络" English translation