离散数学chapter02探究.ppt

例2 用主析取范式法证明(P?Q)∧Q?P不是重言式 　(P?Q)∧Q?P ??((?P∨Q)∧Q)∨P ?((P∧?Q)∨?Q)∨P (吸收律) ??Q∨P ?((?Q∧P)∨(?Q∧?P))∨((P∧Q)∨(P∧?Q)) ? (?P∧?Q)∨(P∧?Q)∨(P∧Q) ? m0∨m2∨m3 缺少m1即(?P∧Q), 所以(P?Q)∧Q?P不是重言式，或者说推理形式(P?Q)∧Q?P不正确 举例 2. A?B成立的充分必要条件是A?B为重言式, 即 A∧?B是矛盾式 3. (逆否定理) A?B成立的充分必要条件?B? ?A 4. 解释法 　例: (P?Q)∧(Q?R) ? (P?R) 若(P?Q)∧(Q?R)＝T, 则同时有P?Q＝T, Q?R=T 若P=T, 则Q=T, 进而R=T. 故P?R＝T 若P=F, 则Q可取任意值: (1) Q=T, 则R=T; (2) Q=F, 则R取何值 无论如何, P?R=T 5. 真值表法, 即通过真值表检验A为真时B一定为真 注： 证明A?B时不考虑A为假的情况 证明推理公式的方法 上述方法的特点 都是从真值的角度进行论证和解释 看不出由前提A到结论B的推演过程 难于扩展到谓词逻辑的推演过程 2.9 推理演算(证明推理公式A?B的新方法) 基本思想：从前提A1, …, An出发(即A= A1?A2? … ?An)