上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

上海交通大学：《离散数学》课程教学资源（讲义）第二章 题逻辑的等值与推理演算

上海交通大学：《离散数学》课程教学资源（PPT课件）第二章 命题逻辑的等值和推理演算

上海交通大学：《离散数学》课程教学资源（讲义）第四章 谓词逻辑的基本概念

2.1 关系模型的基本概念 2.2 关系代数 2.3 关系演算 2.4 关系代数表达式的优化 2.5 关系逻辑

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

本章习憲屮的绝大部分都属于以下两种类型:一类是存储器扩展容量的方 法,另一类是用存储器设计组合逻辑电路

《离散数学》课程教学课件（PPT讲稿）谓词逻辑初步与推理规则

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式