论文部分内容阅读
该文基于真值表原理,提出了工本真值矩阵了、的生成和输出、计算和输出给定命题公式的真值、判断论证的有效性等算法,并开发了一个解决命题逻辑判定问题的计算机判定系统,从而统一解决了命题逻辑的判定问题.与现有的手工方法以及前人企图实现本系统具有的部分功能的方法相比,此系统具有准确可靠、简单、易操作的特点.只要给出所涉及的命题公式或论证表达式以及输出要求,就能迅速输出所要求的结果或其它相应的结论.