– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类

• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理

在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷

一、命题演讲 1、什么是命题演讲 命题演讲的概念 命题演讲是根据事先规定的命题或限定的范围,在准备的基础上所作的内容系统、结构完整、要求全面的演讲

第一节 命题逻辑概述 第二节 命题逻辑的公理系统 第三节 命题演算的自然推理系统 第四节 命题逻辑的语义学

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

命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化

1. 命题及其符号表达 2. 命题的逻辑性质 3. 命题推理 4. 命题演算

命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统