命题逻辑应用.ppt

命题逻辑应用 及习题课 第1章命题逻賴 推理证明(形式证明)下列各式 (1)A→(B→C),DVA,B→D→C (2)_AVB,C→B→A→C (3)(A→B)∧(C→D),B→E,D→F,一(E∧F),A→C→A (4)S→Q,R→Q,R→(R→S) (5)(A→B)∧(A→C),(B∧C),DvA→D (6)A→B,D→C,DVA→BVC 第1章命题逻賴 形式证明(推理)下列论述: 1.如果今天是星期四,那么有一次离散数学测验或 大学英语测验。如果大学英语老师生病,那么没 有大学英语测验。今天是星期四并且大学英语老 币生病,所以,我们有一次离散数学测验 2.由红、黄、蓝、白四队进行桥牌对抗赛。如果红 队第三,则当黄队第二时,蓝队第四;或者白队 不是第一,或者红队第三;事实上,黄队第二 因此,如果白队第一,那么蓝队第四。 第1章命题逻賴 3.李明或王平参加这场排球賽,那么红队一定赢 这场球赛,如果红队赢了这场球赛,红队将参 加全校冠亚军决赛。但红队未能进入全校决赛, 故此李明或王平没有参加这场排球赛 4.如果乙不参加篮球赛,那么甲就不参加;如果 乙参加篮球赛,那么甲和丙就参加;因此,如 果甲参加球赛,那么丙就参加。 5.如果李敏来华工,若王军不生病,则王军一定 去看李敏。如果李敏出差广州,则李敏一定来 华工。王军没有生病,所以,如果李敏出差丿 州,王军一定去看望李敏 第1章命题逻 命题逻辑 的应用