如何理解蕴含式p→q

往期文章：

• 第3章 命题逻辑-CSDN博客

先看p→q的真值表

p	q	p→q
0	0	1
0	1	1
1	0	0
1	1	1

p→q的难点在于p为假时，如何判定p→q的真值，有下述方法：

方法1

蕴涵联结词理解成一种承诺或合同

例子：教授承诺说：如果你在期末考试中得了满分，那么你的成绩将被评定为A。换成逻辑表达式有：

p为“你在期末考试中得了满分”

q为“你的成绩将被评定为A”

p→q为“如果你在期末考试中得了满分，那么你的成绩将被评定为A”

违背承诺的唯一情况：你在期末考试中得了满分，但教授没有给你A。即p为真且q为假时，p→q才为假

对于p为假的情况：如果你在期末考试中没有满分，无论教授最后有没有给你A，都不能说教授违背承诺，即p为假，p→q必为真

方法2

从集合角度理解

p->q：q是p的必要条件。如果把p和q看作集合，则p包含于q，记作p⊂q，如图所示：

S为全集，相互的关系有：Ø⊂p⊂q⊂S 其中，Ø为任意集合的子集。 

p为真时，p→q的在集合论中表达的是p⊂q，也就p是q的子集。

p为假时，p代表空集，这是因为：命题环境中不需要关注前提为假的情况，必须恒真才能做演绎推理（即前提为真才能推理），为假无意义，所以p=Ø。此时p→q 等价于 Ø→q ，永远是真的

例子：教授承诺说：如果你在期末考试中得了满分，那么你的成绩将被评定为A。换成逻辑表达式有：

p为“你在期末考试中得了满分”

q为“你的成绩将被评定为A”

p→q为“如果你在期末考试中得了满分，那么你的成绩将被评定为A”

当p为假时，前提条件p没有发生，p为空集。即无论是否评定为A，都不能说p→q为假