- 博客(2)
- 收藏
- 关注
转载 自然推理系统
本文主要记录自然推理过程中的基本规则,便于日后查找。其中内容转载于 http://blog.sciencenet.cn/blog-626289-894150.html1、前提引入规则,在推理的任何一步都可以引入前提,这条规则为p规则。2、重言蕴涵规则,如果在推理中有一些在先的命题,它们的合取(∧)重言地蕴涵(→)A,那么,在推理中就可以引入命题A,这条规则为T规则。3、
2018-01-13 22:26:02 7832
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人