数 理 逻 辑 部 分 数理逻辑部分 数理逻辑部分
命题逻辑的基本概念
题型一:命题符号化
题型二:求复合命题的真值与命题公式的赋值
题型三:判断公式类型
观察法、真值表法
题型四:复合命题符号化
命题与联结词
-
命题
-
真值:真或假
-
真命题、假命题
-
简单命题或原子命题
-
复合命题
-
悖论:悖论不是命题。因为判断结果不唯一。
-
否定式、否定联结词
-
合取式、合取联结词
-
析取式、析取联结词
-
相容或、排斥或
-
蕴涵式、前件、后件、蕴涵联结词
-
等价式、等价联结词
命题公式及其赋值
- 命题常项(命题常元)、 命题变项(命题变元)
- 命题公式(命题形式、公式)、子公式
- 赋值(解释):成真赋值、成假赋值
- 真值表
- 重言式(永真式)、矛盾式(永假式)、可满足式
- 哑元
命题逻辑等值演算
等值式
- 等值
- 等值演算十六公式
析取范式与合取范式
- 简单析取式、简单合取式
定理:一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定式。
一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定式。 - 析取范式:开心
一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。 - 合取范式:悲伤
一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。
任一命题公式都存在与之等值的析取范式与合取范式。
- 极小项、极大项
- 主析取范式、主合取范式
任何命题公式都存在与之等值的主析取范式和主合取范式,并且是唯一的。
联结词的完备集
-
n元真值函数
-
联结词完备集
定理:S={}是联结词完备集。 -
与非式、与非联结词
-
或非式、或非联结词
定理:都是联结词完备集
命题逻辑的推理理论
题型一:用等值演算法证明重言式和矛盾式
题型二:用等值演算法证明等值式
题型三:通过求公式的主析取范式或主合取范式判断公式的类型
题型四:用析取范式判断两个公式是否等值
题型五:将已知的命题公式等值地化成给定联结词完备集的公式
题型六:用等值演算等方法求解实际问题
推理的形式结构
-
推理、前提、结论
-
推理是有效的
-
推理的形式结构
定理:命题公式A推出B的推理正确当且仅当为重言式。 -
九个推理定律
自然推理系统P
- 形式语言系统、形式演算系统
- 自然推理系统、公理推理系统
- 定理
- 证明
- 附加前提证明法
集 合 论 部 分 集合论部分 集合论部分
集合代数
集合的基本概念
集合的运算
有穷集的计数
集合恒等式
二元关系
有序对与笛卡尔积
二元关系
关系的运算
关系的闭包
等价关系与划分
代 数 结 构 代数结构 代数结构
代数系统
二元运算及其性质
代数系统
代数系统的同态与同构
格与布尔代数
格的定义与性质
分配格、有补格与布尔代数
图 论 图论 图论