论文部分内容阅读
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统.在此基础上给出一机器能行算法,把排中律等值置换成任一重言式,证明任一命题逻辑内定理.也引申出命题逻辑定理证明的一个可信性问题.
命题逻辑定理证明的一个普遍能行算法
【摘 要】
：
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统.在此基础上给出一机器能行算法,把排中律等值置换成任一重言式,证明任一
【机 构】
：
武警郑州指挥学校
【出 处】
：
信息工程大学学报
【发表日期】
：
2003年4期
其他文献
本文提出了一种基于GSM移动通信网络进行数据传输系统的实现方法,给出了软件和硬件的实现流程图,其核心是在单片机系统中嵌入GSM引擎模块,通过控制单元、外部接口设备及协议,
近十年来,随着电脑网络技术的普及,网上传播的图片数量激增,受到越来越广泛的关注.笔者注意到,有一类以荒诞搞笑为特征的所谓"无厘头图片"在网络传播中大行其道,受到众多网民
文章论述了一种实现嵌入式系统网络化的新思路,通过简化的TCP/IP协议LwIP,将其移植到μC/OS操作系统中,以此实现嵌入式设备与网络的互联.
本文简要综述了电子货币的发展研究过程,分析了Okamoto 电子货币体系的特点,剖析了一种攻击方法,对攻击方法做出了理论分析,在此基础上探讨了几种抵御攻击的方案,最后提出了