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

1、掌握关系运算符、逻辑运算符及其表达式的正确使用。 2、掌握 if 语句和 switch 语句的使用。 3、了解程序调试的基本方法

河南中医药大学：《数据库规划与设计》课程教学资源（课件讲稿）第六章 逻辑数据模型（LDM）

河南中医药大学：《数据库规划与设计》课程教学资源（实验指导）实验5 逻辑数据模型LDM的创建及管理

《会计学》课程教学资源（参考文献）复式记账逻辑的历史探讨_王春山

1. 研究对象的特点及困难 2. Drude模型 3. 研究方法的特点及课程逻辑线索

4.1关系运算及其表达式 4.2逻辑运算及其表达式 4.3if语句 4.4 switch语句 4.5选择结构程序举例

中国科学技术大学：《数理逻辑》课程教学资源（电子教案，PPT课件讲稿）

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_29/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_28/29