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

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

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

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

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

1.预备知识,无向图,有向图,相邻,关联 2.度,握手定理度数列,可(简单)图化 3.图同构 4.图族

1.集合的概念 2.集合之间的关系 3.集合的运算 4.文氏图、容斥原理

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

初中数学沪科八年级下_20.2.2数据的离散程度（1）