为了方便考试复习，下面的内容摘自离散数学期末复习—学习笔记_Half_up-298415的博客-CSDN博客
1.命题逻辑的基本概念
1.1 命题与连接词
- ~考察命题的概念 。判断是不是命题
命题：：命题是陈述句，有唯一的解（就是有解并且唯一）
我正在说假话
这个很有意思，如果为真，则“我正在说假话"为真，即我正在说真话，那这就与“我正在说假话"矛盾，因而这个的由真能推出假，由假能推出真。故矛盾，不能判断真值唯一，把这类命题称为悖论，不属于命题
2.~考察命题的联结词（命题的符号化）
∧可以表示自然语言中的 ”即…又…" “不但…而且” “虽然…但是…” “一面…一面…”
可以用∧
∨主要是或的意思，注意下面的相容或和排斥或的不同之处
相容或：p∨q
排斥或：(p∧┐q)∨(┐p∧q)
→： 例如p→q，p是前件，q称为后件。→称为蕴涵联结词。
只有前件为1，后件为0的情况下整个式子为假
p→q表示为 p是q的充分条件，q是p的必要条件
==在自然语言中，"只要p ，就q " " 因为 p ,所以 q " " p仅当q " "只有q才p ” “ 除非 q，否则 非p “这些可以用→ ==
记住这几个语句是代表p→q,
例如上面题的第四个为 只有天冷，小王才穿羽绒服. 只有 q ,才p为 p→q
但是这个是 只有p，才q ,相反，所以化为 q→p;
6是对着的
没办法 我比较笨，只能记住了
↔等价蕴涵式:当且仅当
联结词的优先级顺序
┐ ∧ ∨ → ↔
1.2 命题公式及其赋值
主要考察公式的真值表以及值和公式的类型(重言式，矛盾式，可满足式）
1.3 习题
2.命题逻辑等值演算
2.1等值式（基本等值式（16组，24个公式））
主要是公式
这里是16组公式、
这里我选几个我记不太住比较重要的
分配律：A∨(B∧C)=(A∨B)∧(A∨C)
====== A∧(B∨C)=(A∧B)∨(A∧C)
====== (p∧q)∨(p∧┐q)=p
====== (p∨q)∧(p∨┐q)=p
====== (A∧B)∨(C∧D)=(A∨C)∧(A∨D)∧(B∨C)∨(B∨D)
2.2 析取范式和合取范式(主要是主析取范式和主合取范式）
主析取范式 是 m 是公式的成真赋值
主合取范式是 M 是求公式的成假赋值
主范式的应用
1·求公式的成真成假賦值
2·判断公式的类型( 重言式 ，可满足式 ，矛盾式 )
3·判断两个公式是否等值
4·解实际问题
这个比较重要可能会出题
2.3 联结词的完备集
这个没啥，就记住下图就行
设s是一个联结词集合，如果一个命题公式都可以由仅含S中的联结词构成的公式表示，则称S是一个联结词完备集.
记忆：好记，这里 ┐，↔不是联结词完备集的 ，最小的是与非和或非
就记住有（┐，）基本可以
2.4 练习
3.命题逻辑的推理
3.1推理的相关公式（9条推理公式）
下面重要的公式给我记住
