离散数学部分概念整理

离散数学部分概念整理 by段壮壮

断言：在数理逻辑中，把陈述语句称为断言。

命题：把能判断真假的断言称为命题。

所陈述内容是对，则称断言为真；所陈述内容是错，则称断言 为假。

命题的真值：
✓ 如果一个命题所陈述的内容为真，则称该命题的真值为“真”
✓ 如果一个命题所陈述的内容为假，则称该命题的真值为“假”
✓ 任一命题的真值有‘真’ 和‘假’两种可能，分别用True、T、1表示真和False、F、0表示假。
✓ 任何命题的真值是唯一的。

• 若一个命题已不能分解成更简单的命题，则这个命题叫本原命
  题或原子命题。

• 命题和本原命题常用大写字母𝑃、𝑄、𝑅…表示，称之为命题标
  识符。

命题联结词

• 复合命题：原子（本原）命题常可通过一些命题联结词构成新
  命题，这种命题称为复合命题。

例如，
“𝑃:明天下雪”和“𝑄 :明天下雨”是两个命题，
利用联结词“不”、“并且”、“或(者)”可分别构成新命题:“明天不下雪”；“明天下雪并且明天下雨”；“明天下雪或者明天下雨”，即“非𝑃”；“𝑃并且𝑄”；𝑃或𝑄”

命题联结词就是命题演算中的运算符，叫逻辑运算符或叫逻辑
联结词。

常用的逻辑联结词

• 否定词¬ 非P 或 P的否定

• 合取词∧ P与Q

• 析取词∨ P或Q

• 蕴涵词→ 记作P -> Q,即“若P则Q”
  ‘如果𝑃，那么𝑄 ’
  或‘若𝑃，则𝑄’；𝑃称为前提，𝑄称为结论。

    	当且仅当𝑷为真而𝑸为假时，𝑷 → 𝑸为假
  

• 等值词↔
  由真值表可知𝑷↔𝑸为真，当且仅当𝑷与𝑸有相同的真值。

实质蕴涵：在命题演算中，一个蕴含式的前提和结论并不需要有因果和
实质联系，这样的蕴含式叫实质蕴含
形式蕴涵：在日常生活中用蕴含式来断言前提和结论之间的因果或实质
关系，这样的蕴含式叫形式蕴含。

运算符结合力的强弱顺序为¬、∧、∨、→、↔，凡符合此顺
序的，括号均可省去。