论文部分内容阅读
命题逻辑是逻辑学的基础,要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应,这样实现命题逻辑的计算机实现就可以通过集合这个工具,首先将命题逻辑转化成集合,然后在计算机上对集合进行表示和处理,最后再将由集合处理的结果还原成命题逻辑的形式输出。本设计主要是基于这一集合理论,在计算机上实现命题逻辑中的两个最基本的处理,命题公式的证明和命题公式的主析取范式求解。