离散数学第一章知识点复习

命题：陈述句   真值已经确定

原子命题（简单命题）：不能被分解为更简单的命题

命题化的时候的解题步骤：

1. 先给出原子命题
2. 符号化

注意蕴含式：记作 p -> q ，p是前件，q 是后件
p 是 q 的充分必要条件， q 是 p 的必要条件  有以下的表达方式：
1. 只要 p ， 就 q
2. 因为 p  ，所以 q
3. p 仅当 q
4. 只有q 才 p
5.除非 q 才 p
6. 除非 q ，否则非 p

等价式 记作 p <--> q  ， p 和 q 互为充分必要条件

简单命题可以视作命题逻辑中的常数 ， 叫做命题常项 或命题常元 ，对应的也有命题变项

单个命题变项 是 合式公式，并称为原子命题公式

如果 公式 A 是单个的命题变项，则称 A 为 0层公式
反 ，并 ，或 ，蕴含式 ，等价式 都可以 增加 公式的层数

成真赋值和成假赋值

主析取范式 ： 所有简单合取式都是极小项的析取范式

消解法：整一个大的式子是合取的，本质上还是要找看满足性问题

 

 

假言推理 ， 拒取式 ， 析取三段论 ，假言三段论 ，化简规则（用于析取） ， 构造性二难 ，破坏性二难 ， 合取引入  

附加前提证明法（附加前提引入） ， 归谬法（结论的否定引入）

有全称量词和存在量词，

区分好谓词，个体词

区分好 任意 和 存在 的使用

 

 

 区分上面的就是那个看量词的位置，如果两个谓词的位置都在前面的话，那么这样的话直接写在前面，如果是 写一个谓词，然后 写这个谓词对应的性质的话，然后再提起下一个谓词和性质

消去量词等值式

利用换名 规则 得到前束范式

 

 

 

全称量词和存在量词的引入消去