离散数学h第1章.pptVIP

* 欢迎辞 * 欢迎辞 * 联结词与复合命题(续) 定义2.5 设p, q为命题, 复合命题 “p当且仅当q”称作p与q的 等价式, 记作p?q, ?称作等价联结词. 并规定p?q为真当 且仅当 p与q同时为真或同时为假. p?q 的逻辑关系: p与q互为充分必要条件 例如 这件事张三能做好, 且只有张三能做好 设p:张三做这件事, q:这件事做好了 形式化为: p?q * 实例 例5 求下列复合命题的真值 (1) 2+2＝4 当且仅当 3+3＝6. (2) 2+2＝4 当且仅当 3是偶数. (3) 2+2＝4 当且仅当 太阳从东方升起. (4) 2+2＝5 当且仅当 美国位于非洲. (5) f (x)在x0处可导的充要条件是它在 x0处连续. 1 0 1 1 0 * 联结词与复合命题(续) 联结词优先级:( ),?, ?, ?, ?, ? 同级按从左到右的顺序进行 p q ? p p∧q p∨q p?q p?q 0 0 1 0 0 1 1 0 1 1 0 1