离散数学-命题逻辑基本概念.pdfVIP

离散数学（第3 版）屈婉玲耿素云张立昂编著清华大学出版社出版 第2章 命题逻辑 上海大学 谢 江 1 第2章 命题逻辑 • 2.1 命题逻辑基本概念 • 2.2 命题逻辑等值演算 • 2.3 范式 • 2.4 推理 2 2.1 命题逻辑基本概念 • 2.1.1 命题与联结词 – 命题与真值(简单命题, 复合命题) – 联结词(¬, , , , ) • 2.2.2 命题公式及其分类 –命题公式及其赋值 –真值表 –命题公式的分类 3 2.1.1 命题与联结词