持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第9天，点击查看活动详情
什么是命题？
在离散数学中，把能够判断真假的陈述句称为命题，这种陈述句的判断只有两种可能，一种是正确的判断，一种是错误的判断，称判断为正确的命题的真值为真，称判断为错误的命题为假，因而又可以称命题是具有唯一真值的陈述句。这就是对命题的定义。 在真正进入命题的学习中，我们会准确的判断生活中的语句是否是命题，例如：
2是素数。
雪是黑色的。
明天下午有会吗？
这些是否都是命题呢？
命题符号化及其联结词
命题符号化其实就是用小写的英文字母p.q.r......或是带有下标的大写英文字母Pi等表示简单命题，将命题用合适的符号表示，称为命题符号化。
而对于命题的联结词有很多种
1、否定 ┐
设p是一个命题，┐p表示一个新命题“非p”。命题┐p称为p的否定。当且仅当p的
真值为假的时，┐p的真值为真。
┐p的真值表
“非”、“不”、“无”、“没有”、“并非”等可以用┐来表示。
2、合取∧
设p、q为任意两个命题，p∧q可表示复合命题 “p且q”。当且仅当p和q同时为真，p∧q的真值为真。
p∧q的真值表
“和”、“与”、“也”、“并且”、“既…又”、“不仅…而且”、“虽然…但是”等这样的表连接或转折的词语。
3、析取∨
设p、q为任意两个命题，p∨q表示复合命题“p或q”。当且仅当p和q的真值同时为假的时候，p∨q的真值为假。
p∨q的真值表
4、蕴含→
设p、q表示任意两个命题，p→q可表示复合命题“如果p，则q”。
当且仅当p的真值为真，q的真值为假的时候，p→q的真值为假。
p→q的真值表
蕴含式p→q
p为蕴含前件，q为蕴含后件
p是q的充分条件，q是p的必要条件
表示：“如果p，则q” ，“如果p，那么q”，“当p则q”
5、等价 ↔
设p、q为任意两个命题，p↔q表示复合命题“p当且仅当q”
当且仅当p和q同时为真或者同时为假的时候，p↔q为真
p↔q的真值表
等值式p↔q
表示p与q互为充分必要条件的逻辑关系
表示形如“p当且仅当q”，“如果p，那么q，反之亦然”等的命题
以上就是五种联结词的内容，而这五种联结词的优先级顺序是怎样的呢？
五种表达式加上括号的优先级
（） ┐ ∧ ∨ → ↔
从左到右，优先级依次降低
以上就是初次学习命题的全部内容，对命题的初步认识。
