进行谓词推理常用的几种方法

在线阅读 下载PDF 导出详情
摘要 数理逻辑是应用数学方法引进一套符号系统来研究抽象思维的形式结构和规律的一门年轻的应用学科,它要求学生要具有高度的抽象思维能力和严谨的数学推理功底.学生反映学习起来比较困难,特别是对推理理论的习题总是感到无从下手,没有解题思路.本文结合教学实践工作给出谓词推理的几种思路.
机构地区 不详
出处 《黄山学院学报》 2004年3期
关键词 命题谓词 推理
出版日期 2004年03月13日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献