2-命题逻辑2005.ppt

第二章 命题逻辑 ;第二章 命题逻辑;2.1 命题以及逻辑联结词 ;2.1.1 命题 ;;定义2.1.1;定义2.1.2;定义2.1.3;定义2.1.4;由定义知，如果P是假命题，则不管Q是什么命题，命题 “如果P，则Q”在命题逻辑中都被认为是真命题。 例如，如果x3 ，则x29。 如果x?? 那么x?A 如果1+1=3那么太阳从西边出来 ;定义2.1.5;例2.1.1 ;例2.1.2 ;例2.1.3 ;2.2 命题公式 ;§2.2.1 公式 ;定义2.2.2 命题公式;规定：;§2.2.2 解释 ;例 ;定义2.2.4 ; ; ;如果公式G在解释I下是真的，则称解释I满足G； 如果G在解释I下是假的，则称解释I弄假G。 ;定义2.2.5 ;G是恒真的当且仅当?G是恒假的。 G是可满足的当且仅当至少有一个解释I满足G。 若G是恒真的，则G是可满足的； 反之不对。;判定问题;§2.3 命题公式的等价关系  和蕴涵关系 ;§2.3.1 公式的等价 ;基本等价式 ;基本等价式 ;§2.3.2 公式的蕴涵 ;推理形式为：  若P则Q，P，所以Q。 推理的正确性与命题P，Q涵义无关，只决定于逻辑形式，命题逻辑中用公式表示命题，命题间演绎推理关系，反映为公式间逻辑蕴涵关系。;定义2.3.5 蕴涵;定义2.3.5 蕴涵;定义2.3.6 ;定理2.3.1 ;定理2.3.1 ;§2.3.3 演绎 ;例;引理;定理2.3.2 ;(2) 设in时，命题成立。 (3) 当i=n时，若 Gn?S，则S? Gn，归纳法完成。 若Gn是某些Gj (jn)的逻辑结果，不妨设 (Gj1 ?…?Gjh )?Gn (1)其中j1，…，jh都小于n。 由归纳假设知，S?Gjm ，m=1，…，h。由引理知：S?( Gji ?…?Gjh ) (2)根据(1)，(2)式及蕴涵关系的传递性，得 S? Gn 即Gn是S的逻辑结果，归纳完成。 ;充分性，若G是S的逻辑结果，由演绎的定义知，G是如下演绎： G1 ，…，Gk ，G 的逻辑结果，其中 G1 ，…，Gk 是S中所有公式。 ;例;例;定理2.3.3 ;基本蕴涵式 ;基本蕴涵式 ;§2.3.4公式蕴涵的证明方法 ;§2.3.4公式蕴涵的证明方法 ;形式演绎法;例2.3.1 ;例2.3.2 ;例2.3.3 ;于是， G1：(P??(R?S))??Q G2：P G3：?S H： ?Q 我们要证明： H是{G1，G2，G3}的逻辑结果。 1. ?S 规则1 2. ?S??R 规则2，根据1;3. ?(R?S) 规则2，根据2 4. P 规则1 5. P??(R?S) 规则2，根据3，4 6. (P??(R?S))??Q 规则1 7. ?Q 规则2，根据5，6 亦即，罢工不会停止。 ;§2.4 范式 ;§2.4.1 析取范式和合取范式 ;定义2.4.3 析取范式、合取范式;定理2.4.1 ;例： ;§2.4.2 主析取范式和主合取范式 ;显然，对于n个原子P1,…,Pn而言，其不同的解释共有2n个，对于P1,…,Pn的任一个极小项m，2n个解释中，有且只有一个解释使m取1值。 例如，对P，Q，R而言，?P?Q??R是极小项，解释{?P，Q，?R}使该极小项取1值，其他解释都使该极小项取0值。 如果将真值1，0看做是数，则每一个解释对应一个n位二进制数。 假设使极小项m取1值的解释对应的二进制数为i，今后将m记为mi。 ;例:;极小项 ;;定义2.4.5主析取范式;定理2.4.2 ;于是将G’中非极小项Gi’化成了一些极小项之析取。对G’中其他非极小项也做如上处理，最后得等价于G的主析取范式G*。 ;例;求G= ?(R?P)?(Q?(P?R))主析取范式。 ;证明真值表法的正确性 ;定理2.4.3 ;定理2.4.4 ;§2.4.3 恒真恒假性的判定 ;定理2.4.5;例2.4.1 ;例2.4.2 ;其它方法 ;例2.4.3 ;主合取范式