数学——命题.pptVIP

一、公式的等值 定义 设A和B是两个命题公式，如果A和B在任意赋值情况下都具有相同的真值，则称A与B是等值的。记为A?B。 1、 定义 有限个短语的析取式称为析取范式，有限个子句的合取式称为合取范式。 定义 设公式G=G(p1,p2,…,pn)，若一个短语(子句)包含了p1,p2,…,pn 或其否定且排列顺序与p1,p2,…,pn一致，则称此短语(子句)为G的关于p1,p2,…,pn的一个极小(大)项。 定义 与G等价的公式G’是有限个极小(大)项的析(合)取式，称之为G的特异析(合)取范式或分别称为主析(合)取范式。 一、公式的蕴涵 二、有效推理 定义 若G1,G2,…,Gn蕴涵H，则称H能够由G1,…,Gn有效推出，G1,…,Gn称为H的前提，H称为G1,…,Gn的有效结论。 4．假言推理规则：(P，P→Q)?Q 5．附加规则：P?P∨Q； 6．化简规则：(P，Q)?P； 7．拒取式规则：(?Q，P→Q)??P； 8．假言三段论规则：(P→Q，Q→R)?P→R； 9．析取三段论规则：(?P，P∨Q)?Q； 10．构造性二难规则：(P∨Q，P→R，Q→R) ?R； 11．合取引入规则：(P，Q)?P∧Q 四、推理常用方法 1、直接证法 直接证法就是根据一组前提，利用前面提供的一些推理规则，根据已知的等价公式和蕴涵式，推演得到有效的结论的方法，即由前提直接推导出结论。 2．间接证法 （1）附加前提证明法 要证明的结论以蕴涵式的形式出现， 即推理的形式结构为： (G1∧G2∧…∧Gn)?(A→B) 可将结论中的前件也作为推理的前提，即需证(G1∧G2∧…∧Gn ∧A)?B 例2 用附加前提证明法证明下面推理。 前提：P→（Q→R），?S∨P，Q 结论：S→R 证明： (1)?S∨P 前提引入规则 (2) S→P (1)置换规则 (3) S 附加前提引入规则 (4) P (1)(2)析取三段论规则 (5) P→（Q→R） 前提引入规则 (6) Q→R (3)(4)假言推理规则 (7) Q 前提引入规则 (8) R (5)(6)假言推理规则 （2）归缪法 在构造形式结构为(G1∧G2∧…∧Gn)?H的推理证明中，若将?H作为前提能推出矛盾来，则说明推理正确。 例3 用归缪法证明。 前提：P∨Q，P→R，Q→S 结论：S∨R 证明 （1）?（S∨R） 附加前提引入规则 （2）?S∧?R (1)置换规则 （3）?S (2)化简规则 （4）?R (2)化简规则 （5）Q→S 前提引入规则 （6）?S→?Q (5)置换规则 （7）?Q (3)(6) 规则T （8）P∨Q 前提引入规则 (9) ?Q→P (8)置换规则 （10）P (7)(9) 规则T （11）P→R 前提引入规则 （12）R (10)(11) 规则T （13）?R∧R (4)(12)合取引入规则 1.6 公式的蕴涵 1.6.2 基本蕴涵式 （1）P∧Q?P； （2）P∧Q?Q； （3）P?P∨Q； （4）Q?P∨Q； （5）?P?（P→Q）； （6）Q?（P→Q）； （7）?（P→Q）?P； （8）?（P→Q）??Q； 1.4.1 真值表 1.4 真值表与等价公式 1.4.1 真值表 例：G=?（ P→Q ）∧Q 1.4 真值表与等价公式 1.4.2 命题公式的分类 定义 设G为公式： （1）如果G在所有解释下取值均为真，则称G是永真式或重言式； （2）如果G在所有解释下取值均为假，则称G是永假式或矛盾式； （3）如果至少存在一种解释使公式G取值为真，则称G是可满足式。 1.4 真值表与等价公式 1.4.3 等价公式 定理1.2 设A、B、C是公式，则下述等价公式成立： （1）双重否定律 ? ?A?A （2）等幂律 A∧A?A ； A∨A?A （3）交换律 A∧B?B∧A ； A∨B?B∨A （4）结合律 （A∧B）∧C?A∧（B∧C） （A∨B）∨C?A∨（B∨C） （5）分配律 （A∧B）∨C?（A∨C）∧（B∨C） （A∨B）∧C?（A∧C）∨（B∧C） （6）德·摩根律 ?（A∨B）??A∧?B ?（A∧B）??A∨?B 1.4 真值表与等价公式 1.4.3 等价公式 （7）吸收律 A∨（A∧B）?A；A∧（A∨B）?A （8）零一律 A∨1?1 ； A∧0?0 （9）同一律