Chinese translation for "命题公式"

propositional formula
statement formula

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.	2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus 命题逻辑系统的数字化神经网络的处理对象是数据，而命题逻辑系统的处理对象是命题公式集。
	2.	Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
	3.	Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
	4.	Bassing on the theory of equivalent calculates , this paper utilizes the data structure and c + + program design language , to analyze the logic structure of proposition formula , designs the saving structu - re that use the broad sense menu chained list , and explored to beg for in this foundation how to carry out its basic operation , thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation 本文针对等值演算理论,通过数据结构和c + +程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法。

Similar Words：

"命题的合取" Chinese translation, "命题的形式" Chinese translation, "命题定律" Chinese translation, "命题动态逻辑" Chinese translation, "命题符号" Chinese translation, "命题函数" Chinese translation, "命题函数的置换实例" Chinese translation, "命题函数置换实例" Chinese translation, "命题矩阵" Chinese translation, "命题联结词" Chinese translation