五个常用的命题逻辑联接词列表
|
常用联接词
|
书中
记号 |
其它
表示 |
读作
|
助忆定义
|
真值表
|
常用语
|
|
否定词
negation |
 |
―，～
例如 
|
非
|
P为真当 且仅当P为假 |
P
P F T T F |
不，没有无，否定 取反
|
|
合取词
conjunction |
∧
|
·, &
|
且，与
|
P∧Q为真当且
仅当P与Q均为真 |
P Q P∧Q
F F F F T F T F F T T T |
并且，以及和，与既…又不但…而且尽管…依然
|
|
析取词
disjunction |
∨
|
+
|
或
|
P∨Q为假当且
仅当P与Q均为假 |
P Q P∨Q
F F F F T T T F T T T T |
或
|
|
蕴涵词
implication |
→
|
 |
则，蕴涵
|
P→Q为假当且
仅当P为真且Q为假 |
P Q P→Q
F F T F T T T F F T T T |
如果…那么若…则只要…就
|
|
双条件词
equivalence |
 |
 |
当且仅当
等值 |
P
Q为真当且仅当P与Q均为真或均为假 |
P Q P
QF F T F T T T F F T T T |
当且仅当等价于…和…一样
|