摘要：判断一个命题公式类型有很多种方法,本文主要研究如何判断一个命题公式是矛盾式还是可满足式，并介绍判断的几种方法。 如真值表法、等值演算法、主析取范式和主合取范式的方法，并对每种方法的优缺点进行了详细的分析。84279

毕业论文关键词：真值表；等值演算；主范式

 The Judgement Ways of The Kinds of Propositional Formulas               

    Abstract: There are many ways to determine a propositional formula types，this paper focuses on how to determine if a propositional formula is a contradiction or a meeting，and several methods of judging。 Such as truth table，equivalence，principal disjunctive and conjunctive method，And discusses in detail the advantages of each method of analysis。       

    Key words: True table; Equivalent calculation; Principal normal form

目    录

摘  要 1

Abstract 1

引言 2

1预备知识 3

1。1命题公式的定义 3

1。2命题公式的类型 3

2判断命题公式的类型---真值表法 3

2。1真值表的定义及构造步骤 3

2。2如何判断公式的类型 3

2。3 真值表的优缺点 5

3判断命题公式的类型---等值演算法 5

3。1 等值演算的定义 5

3。2如何判断公式的类型 5

3。3 等值演算的优缺点 6

4判断命题公式的类型---主析取范式和主合取范式 6

4。1 相关定义及定理 6

4。2求一个命题公式主范式的步骤 7

4。3如何判断公式的类型 7

4。4主析取范式和主合取范式的优缺点 9

5结束语 9

参考文献 11

致谢 12

判断命题公式类型的方法

引言

离散数学是现代数学的一个重要分支，它在各个学科领域，特别是计算机科学和技术、信息科学和工程等范畴都有着十分广泛的应用，同时也是许多专业课的重要先导课程。 而逻辑学中的判断命题公式类型又是离散数学的核心内容。 论文网

目前有很多研究命题公式的类型的书籍和文章，他们对命题公式类型的判断方法都有所讨论，但仍有不足之处。例如在文献[1]-[5]中，也介绍了判断一个命题公式类型的方法,如真值表法、等值演算、主析取范式和主合取范式等，虽然有些细微的差距，但是核心内容相同。 在这些书中，前人也只是总结了每种方法的应用，至于何时应用、如何选取的问题上，却没有明确的写出来。在文献[7]及文献[10]中主要是关于主范式的这种方法的应用，但是它的适用范围却没有明确指出，而文献[8]是关于真值表的法在命题公式中的应用方法，也依然存在上述的问题，在文献[9]中，虽然有这些判断方法的介绍，还有一些判断方法优缺点的分析，但是仍然不够详细。本文在上述文献的基础上，对命题公式类型的判断方法进行了详细的归纳与总结，具有一定的理论意义和实践价值。