命题逻辑的计算机实现  

作　　者：李亚男[1] 郑文艳[1] 

机构地区：[1]德州学院信息管理学院

出　　处：《电子世界》2013年第19期171-171,共1页Electronics World

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

关 键 词：命题变元 命题公式 小项 主析取范式 

分 类 号：O141.1[理学—数学]