手机知网 App
24小时专家级知识服务
打 开
数学
C_m命题演算的定理机器证明系统
C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.
领 域:
格 式:
PDF原版;EPUB自适应版(需下载客户端)
0 17
辽宁大学学报(自然科学版)
2019年01期

搜 索