一、集合
-
证明集合相等
-
n元集的子集个数
-
幂集
-
差集
-
对称差集
-
集合运算的基本等式
-
等势
Tips:
-
集族
Eg:
二、命题逻辑
-
命题
Tips:首先得是陈述句 -
否定连接词
-
合取连接词
Tips:
-
析取连接词
Tips:
-
蕴含连接词
Tips:
-
等价连接词
Tips;
-
命题联结词的优先级
-
命题符号化
1)特殊
-
布尔检索
-
位运算
-
命题变元
Tips;
-
命题公式
-
命题公式分类
Tips:
-
公式的等价
-
公式的可判断性
-
基本等价关系及其应用
四、谓词逻辑
-
范式
Tips:
-
主范式
-
极小项,极大项
4.1)极小项
4.2)极大项
4.3)极小项与极大项的编码
4.4)主析取范式、主合取范式
-
主范式求解
Eg1:
Eg2:
-
真值表求解
Eg:
-
推理形式
Eg:
-
基本蕴含关系
Eg:
-
自然演绎推理
14.1)定义
Tips:
14.2)Eg:
-
间接证明法(反证法、谬论法)