计算机数理逻辑命题演算演示系统的研究  

作　　者：张君[1] 

机构地区：[1]呼伦贝尔学院,内蒙古呼伦贝尔021008

出　　处：《信息通信》2013年第9期114-115,共2页Information & Communications

摘　　要：针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题,制作了命题演算演示系统,并对该系统进行研究,主要研究计算机数理逻辑中命题演算部分,重点以5个命题变项如何通过一些逻辑联结词构成复合命题,以一个具体事例来比较,证明该系统的优越性,对计算机辅助教学起到了一定的作用。

关 键 词：命题逻辑 真值表 主析取范式 主合取范式 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]