The study object , logic and precondition of propositional theory - on coser ' s methods for studying social conflict 评科塞对社会冲突的研究方法
Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra 基于有限格蕴涵代数的格值命题逻辑语法系统
Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology 扰动模糊命题逻辑的代数结构及其广义重言式性质
It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly 这种方法可以对逻辑公式的原始形态直接进行计算,无需化简。
2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus 命题逻辑系统的数字化神经网络的处理对象是数据,而命题逻辑系统的处理对象是命题公式集。
For efficient reasons , the lemmas are represented in propositional formulas and a sat solver is used to perform the necessary reasoning 提出了一个新的直接搜索算法,它使用了在sat问题中行之有效的冲突分析和学习机制。
In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt 在自动推理理论与应用的研究中,命题逻辑系统中的方法和内容具有广泛的适用性。
And the relation between proposition and proposition is not considered . but in generalized propositional logic the relation of proposition is discussed 这些逻辑虽然突破了经典逻辑的二值性,但是没有考虑随之而来的命题之间的相关性。
The main concern of the paper is on proposition structures and classification , particularly two different understandings of propositional structures and three types of classification 文章重点阐述了对命题结构的两种不同理解和三种分类。
Several years ago , professor ju shi - er advanced that reasoning could proceed based on an open world , proposing an assumption of a 3 - valued propositional logic based on an open world 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。