来源:《电子世界》2013年第19期 作者:李亚男;郑文艳;
选择字号

命题逻辑的计算机实现

分享到: 分享到QQ空间

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

下载阅读本文     订阅本刊
   

相关文章推荐

电子世界杂志2013年第19期
电子世界
主办:中国电子学会
出版:电子世界杂志编辑部
出版周期:半月
出版地:北京市

本期目录