第一篇 数理逻辑-命题逻辑.ppt

三位教师都满意的条件是： (L1∨L3)∧(M2∨M3)∧(P1∨P2 ) 为真。 将上式写成析取范式(用分配律)得： ((L1∧M2)∨(L1∧M3)∨(L3∧M2)∨ (L3∧M3))∧(P1∨P2) ?(L1∧M2∧P1)∨(L1∧M3∧P1)∨ (L3∧M2∧P1)∨(L3∧M3∧P1)∨ (L1∧M2∧P2)∨(L1∧M3∧P2)∨ (L3∧M2∧P2)∨(L3∧M3∧P2) 可以取(L3 ∧M2∧P1)、(L1∧M3∧P2)为T， 得到两种排法。 * 主析取范式的个数 n=1时 极小项有 21=2 个, P , ┐P 一个命题变元能够构成的不同的主析取范式 F P ┐P P∨ ┐P 22个 * n=2 极小项有 22=4 个, ┐P ∧ ┐Q, ┐P ∧Q, P ∧ ┐Q, P ∧Q 两个命题变元能够构成的不同的主析取范式 222=16 个 * n个命题变元 极小项有 2n 个 不同的主析取范式 22n 个(包括F) 不同的主合取范式 22n 个(包括T) * 2.7 命题演算的推理理论 例 1、如果天不下雨，我就去看电影；我没有去看电影，说明_________ 2、如果甲是冠军，则乙或丙将得亚军；如果乙得亚军，则甲不能得冠军；如果丁得亚军，丙不能得亚军；事实是甲已得冠军，可知_______不能得亚军。 * 推理规则 推理 根据一个或几个已知的判断得出一个新的判断的思维过程 称这些已知的判断为前提 得到的新的判断为前提的有效结论 定义 2.7.1 称H1∧H2∧…∧Hn →R为推理的形式结构， H1，H2，…,Hn是推理的前提（组）， R为推理的结论。若H1∧H2∧…∧Hn →R为重言式（即H1∧H2∧…∧Hn ? R ），则称从前提组H1，H2，…,Hn推出结论R的推理正确（或有效） ，称R是H1，H2，…,Hn的有效结论或正确结论。否则称推理不正确 * 推理规则 P规则 (引入前提规则)：在推理过程中，可以随时引入前提。 T规则 (引入结论规则)：在推理过程中，如果前边有一个或几个公式永真蕴涵公式S，则可将S纳入推理过程中。 教材64页表2.7.1,2.7.2中的等价式和蕴涵式 * 例：求证 P→Q，Q→R，P ? R 证明 序号 前提或结论 所用规则 从哪几步得到 所用公式 (1) P P (2) P?Q P (3) Q T (1)(2) I (4) Q→R P (5) R T (3)(4) I * 例：求证?(P∧Q)∧(Q∨R)∧?R ? ?P I (3)(5) T ?P (6) E (4) T ?P∨?Q (5) P ?(P∧Q) (4) I (1)(2) T Q (3) P ?R (2) P Q∨R (1) * 例：用命题逻辑推理方法证明下面推理的有效性 如果我学习，那么我数学不会不及格。如果我不热衷于玩朴克，那么我将学习。但是我数学不及格。因此，我热衷于玩朴克。 解 设 P：我学习。 Q：我数学及格。 R：我热衷于玩朴克。 P→Q，?R→P，?Q ? R * P→Q，?R→P，?Q ? R (1) P→Q P (2) ?Q P (3) ?P T (1)(2) I (4) ?R→P P (5) ??R T (3)(4) I (6) R T (5) E * 例：求证P→(Q→S),?R∨P,Q ?R→S 证明 (1) P→(Q→S) P (2) ?P∨(?Q∨S) T (1) E (3) ?P∨(S∨?Q) T (2) E (4) (?P∨S)∨?Q T (3) E (5) Q P (6) ?P∨S T (4)(5) I (7) P→S T (6) E (8) ?R∨P P (9) R→P T (8) E (10) R→S T (7)(9) I * 练习 用形式证明方法证明： （P∧Q）→R，?R∨S，?S ? ?P∨?Q （1） ?R∨S P （2） ?S P （3） ?R T(1)(2) I （4） (P∧Q）→R P （5） ?（P∧Q）∨R T(4) E （6） ?（P∧Q） T(3)(5) I （7） ?P∨?Q