方法、知识点总结
（知识重点和考题重点）
前三章重点内容（知识重点）：
1、蕴含（条件）“→”的真值
P→Q的真值为假，当且仅当P为真，Q为 假。
2、重言(永真)蕴涵式证明方法
<1>假设前件为真，推出后件也为真。
<2>假设后件为假，推出前件也为假。
易错
3、等价公式和证明中运用
4、重要公式
重言蕴涵式：P∧Q => P or Q
P or Q => p∨Q
A->B =>(A∧or∨C)->(B∧or∨C)
其他是在此基础上演变
等价公式：幂等律 P∧P=P  P∨P=P
吸收律 P∧(P∨Q)=P    P∨(P∧Q)=P
同一律 P∨F=P      P∧T=P
P∨T=T      P∧F=F
P <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q)
5、范式的写法（最方便就是真值表法）
6、派遣人员、课表安排类算法：
第一步：列出所有条件，写成符号公式
第二步：用合取∧连接
第三步：求上一步中的析取范式即可
7、逻辑推理的写法
直接推理论证：其中I公式是指 重言蕴涵式那部分
其中E公式是指 等价公式部分
条件论证: 形如  ~ , ~, ~ => R->S
              R        P(附加条件)
...                ...
S          T
R->S      CP
8、谓词基本内容
注意：任意用—> 连接
  存在用 ∧ 连接
量词的否定公式
量词的辖域扩充公式
二叉树公式
量词分配公式
其他公式
9、带量词的公式在论域内的展开
10、量词辖域的扩充公式
11、前束范式的写法
给定一个带有量词的谓词公式，
1)消去公式中的联接词→和←→(为了便于量词 辖域的扩充)；
2)如果量词前有“﹁ ”，则用量词否定公式﹁ ”后移。再用摩根定律或求公式的否定公式，将“﹁ ”后移到原子谓词公式之前；
3)用约束变元的改名规则或自由变元的代入 规则对变元换名(为量词辖域扩充作准备)；
4)用量词辖域扩充公式提取量词，使之成为 前束范式形式。
简要概括： 1、去 -> ， <->      2、移 ﹁

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。