一、命题:
命题是一个陈述语句,即一个陈述事实的句子。
判断是否为命题的准则:
(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、逻辑等价与逻辑定价定律
双充否定定律、幂等律、交换律、结合律、分配率、德摩根律(注意,中间的或和互换)吸收律(括号内与外面相反)、支配率(与或否的性质相关联)、恒等率、矛盾律、归谬率
以上这些定律要熟记熟背。