一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

问题1：什么是(初等)数论？ 问题2：素数有哪些性质？

问题1：什么是集合的基数？ 问题2：(基数)最大的集合有多大？ 问题3：如何比较两个(无限)集合的大小？

问题1：什么是关系？如何表示关系？如何进行关系运算？ 问题2：什么是函数？什么是单射、满射函数？如何进行函数运算？

问题1：什么是集合？ 问题2：集合的基本概念有哪些？ 问题3：如何进行集合运算与集合公式证明？

问题1：什么叫证明？ 问题2：常见的证明方法有哪些？ 问题3：什么是猜想？有哪些有意思的猜想？

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？

电子科技大学：《离散数学》课程教学资源（教学大纲）

第一节 推理的形式结构 第二节 自然推理系统P