 问题1：关系具有哪些重要性质？  问题2：如果计算关系的闭包？

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

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

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

上海交通大学：《离散数学》课程教学资源（讲义）错误汇总（补充2，主讲：刘胜利）

《概率论与数理统计》课程教材课件（PPT讲稿）2-2 离散型随机变量及其分布律

1、图的基本概念 2、图的存储表示 3、图的遍历与连通性 4、最小生成树 5、最短路径 6、活动网络

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

1 推理定义及形式 2 推理定律与推理规则 3 构造证明法

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-3 谓词公式的翻译