期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
自然推理方法的改进
1
作者 刘虎明 《咸阳师范学院学报》 1999年第S1期32-34,共3页
根据综合推理的优点,提出自然稚理方法的改进,设制了新的证明格式。改进后的方法优点有二:第一,证明过程中,前题和结论非常靠紧,假设较易引入;第二,并列推理,逻辑线路清晰易懂。
关键词 命题公式 形式推理 自然推理系统 并列推理
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部