第3章命题逻辑-2.ppt

计算机科学与工程学院 例3 求公式 (P∨┐Q)→R 的析取范式和合取范式。 5.4.2 主析取范式和主合取范式 1.极小项与极大项 定义5.15-1 （1）设P1、P2、…、Pn是n个命题变元，一个短语或子句如果恰好包含所有这n个命题变元或命题变元的否定，且排列顺序与P1、P2、…、Pn的顺序一致，则称此短语或子句为关于P1、P2、..、Pn的一个极小项或极大项。 2.极小项与极大项的性质与记号 (1) 对于n个命题变元，共有2n个不同的极小项和2n个不同的极大项，分别记为m0，m1，…，m2n-1和M0，M1，…，M2n-1。例如关于P, Q, R 有: (2) 含有n个命题变元的极小项mi和极大项Mi，作为命题公式，共有2n个不同的解释。 (3) mi = ┐Mi, Mi = ┐mi；i=0,1,2,…,2n-1 2. 主析取范式和主合取范式 例2　求G＝P→Q 的主析取范式和主合取范式。 解 G＝P→Q＝ ┐P∨Q 例4 求G1＝P→Q和G2＝┐P?Q 的主析取范式和主合取范式。 解 列出公式 G1 和 G2 的真值表: 例5 求 G = (P→Q)∧R 的主析取范式和主合取范式。 4.主析取范式和主合取范式之间的转换 例6 设公式 G＝(P→Q)∧(┐P∨┐Q∨R), 求 (1) G的主析取范式和主合取范式; (2) ┐G 的主析取范式. 解 (1) G＝(┐P ∨ Q)∧(┐P∨┐Q∨R) ＝((┐P ∨ Q)∨(R∧┐R))∧(┐P∨┐Q∨R) ＝(┐P ∨Q∨R)∧(┐P ∨Q∨┐R)∧(┐P∨┐Q∨R) －－－－－ 主合取范式 主范式的性质 任何命题公式都存在唯一一个与之等价的主析取范式和主合取范式； 命题公式是永真公式当且仅当它的主析取范式包含所有的极小项，此时无主合取范式或者说主合取范式为“空”； 命题公式是永假公式当且仅当它的主合取范式包含所有的极大项，此时无主析取范式或者说主析取范式为“空”； 两个命题公式是相等的当且仅当它们的主析取范式相等(即含有相同的极小项)和主合取范式相等(即含有相同的极大项)。 5.5　命题逻辑的推理理论 命题演算的一个主要任务在于提供一种正确的思维规律，即推理规则，应用此规则从一些前提中推导出一个结论来，这种推导过程称为有效推理或形式证明。 证明 “?”　假设H是G的逻辑结果，I是G，H的任意解释. 若 I 满足G, 由假设, I 也满足H，故G→H为真;若I不满足G，此时无论I是否满足H，都有G→H为真。由I 的任意性知G→H为永真公式。 　　　“?”　设G→H为永真公式，I是使得G为真的任意解释，因G→H为永真，所以H必为真，即在I下，若I满足G，则I满足H，所以G?H。 注:“?”与“→”的区别 “→” 是一般的蕴涵联结词， “?” 是关系符. 对公式G和H, G→H 仍是一个公式，而 G ?H 不是命题公式； 直接用计算机来判断是否有 G?H 是办不到的，然而计算机却可通过“计算”公式G→H是否永真来判断是否有 G?H。 方法: 设P1,P2,…,Pn是出现在前提G1,G2,…,Gn和结论H中的一切命题变元. 先将G1,G2,…,Gn，H 列在一个真值表中，再按如下方法作判断： 例1 判断下列H 是否是前提G1,G2的逻辑结果. (1)　H：Q； G1：P；G2：P→Q；　 (2)　H：┐P； G1：P→Q；G2：┐Q； (3)　H： ┐Q； G1：┐P；G2：P→Q。 （1） 如果明天天晴，那么我们外出旅游；明天的确天晴。所以明天我们外出旅游。 （2）如果明天天晴，那么我们外出旅游；明天没有天晴。所以明天我们不外出旅游。 2.演绎法 证 法1： 　⑴　P∨Q　　　 P 　⑵　┐P→Q　　T,(1),E 　⑶　Q→S　　　 P 　⑷　┐P→S　　 T,⑵,⑶,I ⑵ 将前提中的P→R 改为P?R 也可推出同样的结论（书中另一例), 为什么? 如果今天是星期1，则十点钟要举行课程1或课程2中的一门课的考试； 如果课程2的老师生病，则他不考课程2 ；今天是星期1 ，并且课程2的老师生病。所以今天考课程1。　 证明 设 P：今天是星期1 Q：十点钟要举行课程1的考试 R：十点钟要举行课程2的考试 S：课程2的老师生病 (3)公式的不一致性与间接证明法 定义5.18设G1,G2,…,Gn是一组命题公式，若 G1∧G2∧…∧Gn 是一个矛盾式 ，则称公式 G1,G2,…,Gn 是不一致，否则称公式 G1