真值逻辑运算符联结词.PPT

1.1.3 蕴涵(implication) p→q 的自然语句描述 如果 p，那么 q vs. q 如果 p p 仅当 q vs. q 每当 p p 推出 q vs. q 由 p 推出 只要 p，就有 q vs. 只有 q，才有 p p 的必要条件是 q vs. q 的充分条件是 p 1.1.3 蕴涵(implication)的特殊性 当 p 为假时，p?q 为真？？？ 当前提为假时，任意结论都可能 如果太阳从西方出，雪就是黑的 如果太阳从西方出，我就不姓黄 如果地球会飞，则地球有翅膀 前提虽然为假，但可能正确推导出结论 1.1.3 蕴涵(implication)的特殊性 当 p 为假时，p?q 为真？？？ 当前提为假时，任意结论都可能 前提虽然为假，却可能正确推导出结论 0=1 ? 3=9 0=1 ? 4=4 ① 0=1 ② 1=2 ①＋1 ③ 3=6 ②×3 ④ 0=3 ①×3 ⑤ 3=9 ③＋④ ① 0=1 ② 4=5 ①＋4 ③ 0=-1 ②×-1 ④ 4=4 ②＋③ 1.1.3 蕴涵(implication)的特殊性 p?q (实质蕴涵) 可以不