【摘 要】本论文针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题，制作了命题演算演示系统，并对该系统进行研究。
【关键词】命题逻辑；真值表；主析取范式
需求分析
（1）可行性研究
可行性研究的目的是用最小的代价在尽可能短的时间内确定该软件项目是否能够开发，是否值得开发。可行性研究实质上是要进行一次简化、压缩了的需求分析和设计过程，要在较高层次上以较抽象的方式进行需求分析和设计过程。
本系统采用 C/s 技术并且结合当前主流的开发技术进行开发，为了方便教学演示，提高教学的工作效率和简便性，为了适应新形势的发展，我开发了这一系统，只能说是初步的开发探索。希望它能够在现代的数理逻辑方面的教学中发挥快速，便捷的作用，希望可以减轻教师繁重的教学工作量。用户仅需具有基本的电脑操作能力即可。所以使用者不必担心在使用该系统时可能出现的困难，所有的教师都可以熟练的操作。
（2）专业知识的需求
范式是对含n个命题变元公式的标准表示形式，就像一元二次方程是方程的一种标准形式。范式有析取范式和合取范式两种。由于析取范式和合取范式不唯一，所以使用起来很不方便。为此，我们引入主析取范式和主合取范式的概念。当命题变元的顺序确定以后，主析取范式和主合取范式是唯一的。析取范式和合取范式的基本成分是简单合取式和简单析取式，而主析取范式和主合取范式的基本成分是极小项和极大项。极小项和极大项是特殊的简单合取式和简单析取式。全部由极小项构成的析取范式，称为主析取范式。任何命题公式都存在着与之等值的主析取范式。利用主析取范式解决生活中实际应用的逻辑题非常容易。
（3）命题逻辑推理理论
人们在思维过程中，总是根据已有的知识，反映更为复杂的事物之间的联系，从而扩大认识领域，获得新的知识。如，人们根据气象分析，可以做出天气预报。这是一种由已知推断未知的思考活动，反映这种思维活动的思维形式就是推理。推理是由一个或几个已知命题推出新命题的思维形式。
每个推理都包含着两部分的命题：一部分是已知的命题，它是推理的根据，叫做推理的前提；另一部分是由此而推导出的命题，叫做推理的结论。
这里的推理与传统数学中的定理证明不同。在传统数学中，定理的证明实质上是由全是真命题的前提（已知条件）推出也是真命题的结论，目的是证明结论的正确（这样的结论可以称为合法结论）。数理逻辑中的推理着重研究的是推理的过程，这种过程称为演绎或形式证明。在过程中使用的推理规则必须是公认的并且要明确列出，而作为前提和结论的命题并不要求它们一定是真命题，这样的结论称为有效的结论。
在对计算机专业基础课离散数学的教学过程中，求多个命题变项的主析取范式、主合取范式，无论用真值表法，还是等值演算法，步骤都比较繁琐，还容易出错，更是浪费时间。对于实际应用的逻辑题来说，答案更是很难解出来，所以我想到开发一个演示系统，通过输入公式就能得到最后的结果，不但精确，还会节省很多时间，只要能够写出正确的公式就可以了。
（1）命题逻辑有时称为命题演算，是一种用于命题操作的符号逻辑。特别的，命题逻辑针对逻辑变量进行运算，逻辑变量代表了命题。此外，命题逻辑有时也称为语句演算或句子演算。命题逻辑主要考察那些或者为真或者为假的陈述性句子。“一个正方形有四条边。”这样一个句子的真值为真，“一个正方形有五条边。”这样一个句子的真值为假。一个真值确定的句子称为一个语句或一个命题。一个语句也叫做一个封闭句子，因为它的真值对任何问题都不会不确定。通过在语句间使用逻辑联结词，就可以形成复合语句。
（2）虽然命题逻辑是有用的，但它有局限性：命题逻辑只能处理完整的语句。也就是说，它不能检查语句的内部结构。为了分析更一般的情形，提出了谓词逻辑。最简单的形式是一阶谓词逻辑，它是逻辑程序设计语言。命题逻辑是谓词逻辑的一个子集。谓词逻辑关心句子的内部结构。特别的，谓词逻辑使用一种特殊的词，即量词。如“所有”、“有些”、“没有”。这些量词非常重要，因为它们明确地量化了其它词，使句子的语义更为确切。所有量词均与“多少”有关，因此，比命题逻辑提供了更广阔的语义范围。“一阶语言像是具有相同特征和同一来源的语言，具有相似的语法，公用一些确定的词项，这些具有相同特征和同一来源的语言不同。”其中，所谓“原子命题，是逻辑原子主义和数理逻辑中的基本概念。是指在结构上不能分解出其他命题的命题。取自然科学原子不可分的意思，是命题的最小单位。逻辑原子主义认为，语言世界和实在世界相对应，命题与事实相对应。原子命题描述原子事实，分子命题描述分子事实，一切知识都可用原子命题和分子命题来表述。”
（3）真值表是命题逻辑理论中的一个重要概念，利用它可以求命题公式的主范式、判定命题公式的类型以及进行命题逻辑的推理等。在这些用途中，采用真值表来判断命题公式逻辑等价是真值表的很重要用途之一。
由于一阶逻辑考虑语言的内部结构，包含命题逻辑，所以就从命题逻辑开始研究，以后逐步拓展到一阶逻辑的演示系统。
作者简介：
刘丹（1978.09.26～），女，内蒙古包头市人，大学本科学历，包头轻工职业技术学院，研究方向：计算机及其应用。
