1离散数学PPT.2.pptVIP

1.2 命题联结词 1.2.1 否定联结词 1.2.2 合取联结词 1.2.3 析取联结词 1.2.4 条件联结词 1.2.5 双条件联结词 1.2.6 混合运算 1.2.1 否定联结词 否定联结词(negative connective) “┐” 似汉语联结词“非、否、不” P ┐P 0 1 1 0 读“非P” 1.2.1 否定联结词 例1.2.1 P:上海是中国的最大城市。 ┐P:上海不是中国的最大城市。 A:我班学生都是男生。 ┐A:我班学生都是男生，不是这样的。 1.2.2 合取联结词 合取联结词(conjunctive connective) “∧” 似汉语联结词“与、和、且” P Q P∧Q 0 0 0 0 1 0 1 0 0 1 1 1 读“P合取Q” 1.2.2 合取联结词 例1.2.2 P:外星人曾访问过地球。 Q:今天是雨天。 P∧Q:外星人曾访问过地球且今天是雨天。 Q∧P:今天是雨天且外星人曾访问过地球。 Q∧Q:今天是雨天且今天是雨天。 1.2.3 析取联结词 析取联结词(disjunctive connective) “∨” 似汉语联结词“可兼或” P Q P∨Q 0 0 0 0 1 1 1 0 1 1 1 1 读“P析取Q” 1.2.3 析取联结词 例1.2.3 P:外星人曾访问过地球。 Q:今天是雨天。 P∨Q:外星人曾访问过地球或今天是雨天。 P:王菲是优秀共产党员。 Q:王菲是三好学生。 P∨Q:王菲是优秀共产党员或三好学生。 1.2.4 条件联结词 条件联结词(conditional connective) “→” 似汉语联结词“如果…,那么…” 前件 后件 P Q P→Q 0 0 1 0 1 1 1 0 0 1 1 1 读“P到Q的条件” 1.2.4 条件联结词 例1.2.4 P:今天是星期一。 Q:今天是雨天。 P→Q:如果今天是星期一，那么今天是雨天。 Q→P:如果今天是雨天，那么今天是星期一。 Q→Q:如果今天是雨天，那么今天是雨天。 1.2.5 双条件联结词 双条件联结词(bi-conditional connective) “?” 似汉语联结词“当且仅当” P Q P?Q 0 0 1 0 1 0 1 0 0 1 1 1 读“P与Q的双条件” 1.2.4 双条件联结词 例1.2.5 P:今天是星期一。 Q:今天是雨天。 P?Q:今天是星期一当且仅当今天是雨天。 Q?P:今天是雨天当且仅当今天是星期一。 Q?Q:今天是雨天当且仅当今天是雨天。 1.2.6 混合运算 ┐P P∧Q P∨Q P→Q P?Q 1.2.6 混合运算 例1.2.6 设P,Q,R的真值分别为0,1,1，考察 ① (P→Q)→(┐R) 0 ② (P→Q)→┐R 0 ③ P→(Q→┐R) 1 ④ P →Q→┐R 1.2.6 混合运算 注意(1)┐,∧,∨,→,?是命题的五种运算符 (2)┐是一元运算，∧,∨,→,?是二元运算 (3)圆括号体现┐,∧,∨,→,?等运算的先后 次序，且从里到外，最外层括号可省略 (4)一元运算总是优先于二元运算