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

苏州大学：电子信息学院《数字系统与逻辑设计》课程教学大纲

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

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

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

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

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

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02

西安石油大学：《统计学 Statistics》精品课程教学资源（实例库）农业普查方案_乡镇普查表逻辑关系

2.1 基本PR0L0G 2.2 Turbo PR0L0G程序设计