离散数学部分概念整理 by段壮壮
断言:在数理逻辑中,把陈述语句称为断言。
命题:把能判断真假的断言称为命题。
所陈述内容是对,则称断言为真;所陈述内容是错,则称断言 为假。
命题的真值:
✓ 如果一个命题所陈述的内容为真,则称该命题的真值为“真”
✓ 如果一个命题所陈述的内容为假,则称该命题的真值为“假”
✓ 任一命题的真值有‘真’ 和‘假’两种可能,分别用True、T、1表示真和False、F、0表示假。
✓ 任何命题的真值是唯一的。
-
若一个命题已不能分解成更简单的命题,则这个命题叫本原命
题或原子命题。 -
命题和本原命题常用大写字母𝑃、𝑄、𝑅…表示,称之为命题标
识符。
命题联结词
- 复合命题:原子(本原)命题常可通过一些命题联结词构成新
命题,这种命题称为复合命题。
例如,
“𝑃:明天下雪”和“𝑄 :明天下雨”是两个命题,
利用联结词“不”、“并且”、“或(者)”可分别构成新命题:“明天不下雪”;“明天下雪并且明天下雨”;“明天下雪或者明天下雨”,即“非𝑃”;“𝑃并且𝑄”;𝑃或𝑄”
命题联结词就是命题演算中的运算符,叫逻辑运算符或叫逻辑
联结词。
常用的逻辑联结词
-
否定词¬ 非P 或 P的否定
-
合取词∧ P与Q
-
析取词∨ P或Q
-
蕴涵词→ 记作P -> Q,即“若P则Q”
‘如果𝑃,那么𝑄 ’
或‘若𝑃,则𝑄’;𝑃称为前提,𝑄称为结论。当且仅当𝑷为真而𝑸为假时,𝑷 → 𝑸为假
-
等值词↔
由真值表可知𝑷↔𝑸为真,当且仅当𝑷与𝑸有相同的真值。
实质蕴涵:在命题演算中,一个蕴含式的前提和结论并不需要有因果和
实质联系,这样的蕴含式叫实质蕴含
形式蕴涵:在日常生活中用蕴含式来断言前提和结论之间的因果或实质
关系,这样的蕴含式叫形式蕴含。
运算符结合力的强弱顺序为¬、∧、∨、→、↔,凡符合此顺
序的,括号均可省去。