1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句

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

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

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

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

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

1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论

第一节 推理概述 第二节 命题推理的基本形式及规则 第三节 命题推理的扩展形式 第四节 命题推理在实际思维中的应用

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

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一