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程序设计

《高中思想政治》全程设计训练题库（选修3逻辑与思维，课后习题，含答案）第1单元 树立科学思维观念_第3课 领会科学思维_第2框 学习科学思维的意义

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

《高中数学》全程设计训练题库（B版必修第一册，课后习题，含答案）第一章 集合与常用逻辑用语（测评）

《高中数学》全程设计训练题库（B版必修第一册，课后习题，含答案）第1章 集合与常用逻辑用语 1.2.3 充分条件、必要条件