离散数学：逻辑和证明

逻辑和证明

命题是一个或真或假的陈述语句，即一个陈述事实的句子，但不能既真又假。核心1.陈述句，2.是一个命题，3.非真即假。

1.x+1=4
2.几点了?
3.仔细阅读这个

语句1不是命题因为他们既不真也不假，如果给语句1中变量赋值，那么语句1可以变成命题。语句2，3不是命题，因为他们不是陈述语句。
假如我们用p表示一个命题，那么p的否定就可表示为 $\neg$p，即不是p所说的情形，即$\neg$p与p的真值相反

今天是周一
非:并非今天是周一（今天不是周一）

合取
令p，q为命题。p,q的合取用p$\wedge$q，即p并且q，全真才真，一假就假。

p:今天是周一
q：今天晴天
合取：今天是周一并且今天晴天
不是周一为假，不晴天也为假

析取
令p，q为命题。p,q的析取式为p$\vee$q，即一真就真，全假才假。即可以理解为同或（相容或）

学过高数上的同学或者学过微积分的同学可以选修该门课程
ps：这里指学过高数上或者学过微积分或者都学过的同学可以选修该门课程。

异或（排斥或）
只有一个真才为真，否则就假

小z在办公室或在教室
ps；小z只可能在一个地方，所有只能是一真一假的情况才满足

条件语句
令p，q为命题，条件语句中p$\to$q，即若p，则q，只有当p为真时，q为假时，条件语句p$\to$q为假，否则为真，p为前提，q为结论，那么p$\to$q为条件语句，在p成立时，q为真，条件语句也称为蕴含。
p$\to$q的中文表达有很多：

如果p，那么q
若p，则q
p是q的充分条件
q如果p
当p则q
q，除非非p
p蕴含q
q仅当p
q的充分条件是p
q每当p
q是p的必要条件
q跟随p

举个栗子：

妈妈答应我，如果我考虑100分，那么将得到奖励
分析：如果我考虑100分才能得到奖励，如果我没考到100分，我可能无法获得奖励。
但是在我没的得到100分的前提下，我可以通过其他方式获得奖励。
比如打扫卫生，但是我考到了100分，妈妈没有给我奖励，那么她就食言了。

再举个让我疑惑的栗子：

p仅当q，刚开始我理解为如果q，那么p，其实不然，p仅当q，p如果成立，那么才能讨论q，当p为假时，
那么你没有资格去谈论q，只有p为真时才能讨论q的情况。