南京大学离散数学2022年春------命题逻辑

一、命题：

命题是一个陈述语句，即一个陈述事实的句子。

判断是否为命题的准则：

（1）一个命题的陈述要么是真的，要么是假的。

（2）不能既真又假。

ps：在命题的定义方面，我在网上搜了搜，离散数学中对命题的定义为陈述句，但是在素质教育中数学将可以判断真假作为准据。所以就出现了：明天是个晴天到底是不是个命题。当然根据高中的定义这种无法判断真假的句子肯定不是命题了。但是在大学中我们还是将它视作命题。算作比较特殊的一类，即你无法自己去判断它的真假，但这句话是有意义的。为什么呢？笔者这里大胆猜测一下，因为它是可以证伪的，即一定可以知道它的真假（明天下雨，明天当然知道了啊）。但x-3>4这种就不一样了，即会出现可真可假的情况，它的状态不会想{0，1}这个集合的一个元素倾向，也就无法认为它是一个命题了。（下面有个更新的想法）

刚刚问了一下离散数学的助教姐姐，这里其实是隐藏着一个对命题定义的条件：即命题的真假是唯一的，什么意思呢？也就是说，我们的陈述句所陈述的事实的真假是确定的就可以判断为命题了。当然这里是一定要区别于高中的数学。

常见的非命题情况：祈使句，疑问句，感叹句等等。

常见的命题例子：

1、如果武汉市于2020年一月采取更为有力的防控手段，那么新冠疫情不会如此严重。

2、国家卫健委于2020年1月1日成立成立了疫情领导小组，华南海鲜批发市场于当日关停。

3、张继先医生于2019年12月26日将4位病人的反常结果汇报给了医院。

4、小张是个大学生。（虽然我们不知道是否为真，但一定为真或为假，也就是真假唯一）

5、地球上有外星人。（同上）

常见的非命题的例子：

1、x-2>3

2、我说的话是假话。（经典悖论）

二、命题表达式

命题可以分为真命题，假命题；也可以分为原子命题，复合命题。

命题变元：一个（原子）命题可以用命题变元来表示,命题变元的取值范围为{T,F}，{0,1}

例如：    p:该男孩头上有泥巴

               q:1+1=2(q=1)

命题变元是命题表达式，而将命题变元和逻辑运算符号合理结合也就形成了命题表达式

               命题运算符的优先级：非，和，或，蕴含，双向蕴含

ps：其他的命题运算符在高中阶段我们已经很是熟悉了，但是其中蕴含和双向蕴含比较特殊；

蕴含特殊的地方：例：p->q，在这个命题表达式中，如果p为F时，无论q是T还是F，这个命题表达式都是真。可以怎么理解这个事情呢。让我们来想象一个场景：你有一个外国朋友，他会对你说：If I am rich，I will……. 你一定会回答：Come on.(得了吧）也就是说你对他说的条件完全不相信，你就认为你天天在说大话，你怎么会有钱呢，你已经不关心他条件的结果了，如果你想敷衍回答的你就会说：啊对对对。所以当他的条件本身是一个错误时，这个蕴含表达式就一定是真的了。

而双向蕴含，就可以看成从两个方向来看的蕴含，当出现一个真，一个假时，那么他就是一个假的。双向蕴含还可以看成是“当且仅当”，当两边已经不同了，又何从谈起仅当呢。

三、将自然语言翻译成命题表达式

我们可以将自然语言中的条件或者结果看成一个原子命题，对这些原子命题进行计算时，就可以很容易翻译出我们的命题表达式的真假了。

四、计算

逻辑计算

1、命题的真值表

当我们进行逻辑计算时，如果命题表达式实在是太复杂了，那么可以选择使用命题的真值表来简化计算（这里就都不一一介绍了）。

2、永真式（重言式）：取值总是真的，无论其中的命题变元如何赋值。比如pv-p

      矛盾式：取值总是假的，无论其中出现的命题变元如何赋值。比如：p^-p

3、逻辑等价与逻辑定价定律

双充否定定律、幂等律、交换律、结合律、分配率、德摩根律（注意，中间的或和互换）吸收律（括号内与外面相反）、支配率（与或否的性质相关联）、恒等率、矛盾律、归谬率

以上这些定律要熟记熟背。