首页 | 本学科首页   官方微博 | 高级检索  
     

命题推理的新图式(英文)
作者姓名:黄万徽
作者单位:华中师范大学数学系
摘    要:本文引进新图式的概念,并且给出一个关于命题推理有效判定的方法。它解决了证明论中命题逻辑部分的一个重要问题。由于此方法直观,机械,可用于计算机对人工智能问题的处理。

关 键 词:新图式  正则公式  命题公式  有效性
收稿时间:1988-04-25
本文献已被 CNKI 等数据库收录!
点击此处可从《华中师范大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《华中师范大学学报(自然科学版)》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号