2.1 聯結詞
聯結詞亦稱命題聯結詞，命題邏輯的基本概念之一，指由已有的命題構造出新命題所用的詞語
2.1.2 否定聯結詞
設P爲任意一命題，複合命題“非P”（或P的否定）稱爲P的否定式，記做
讀作“非P”真)，┐稱爲否定聯結詞
┐P的邏輯關係爲P不成立。┐P爲真當且僅當P爲假。
命題P的真值與其否定┐P的真值之間的關係。
P ┐P 0 1 1 0
2.1.3 合取聯結詞
設P、Q爲任意二命題，複合命題“P並且Q”（或P與Q）稱爲P和Q的合取式；記作P∧Q,讀作"P與Q",∧稱爲合取聯結詞
P∧Q 邏輯關係爲P與Q同時成立，P∧Q爲真當且僅當P與Q 同時爲真
命題P和命題Q的真值之間的關係如表所示：
| P | Q | P∧Q |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
當然在自然語言中有與之相對應的詞語，如： 並且、 同時、 以及、不但……而且、雖然……但是等。
2.1.4 析取聯結詞
設P、Q爲任意二命題，複合命題“P或Q”稱爲P和Q的析取式。記作P∨Q，讀作“P或Q”，∨稱爲析取聯結詞。
P∨Q的邏輯關係爲P與Q中至少有一個成立
P∨Q的真值與命題P命題Q的真值之間的關係：
| P | Q | P∨Q |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
注意:聯結詞∨是可兼或，因爲當命題P和Q的真值都爲真時，其值也爲真，但自然語言中的 “或”既可以是排斥或也可以是可兼或
2.1.5 蘊含聯結詞
設P、Q爲任意二命題，複合命題“如果P,則Q”稱爲P和Q的蘊含式，記作P→Q，讀作“如果P則Q”；→稱爲蘊含聯結詞；稱P爲 前件，Q爲後件。
P→Q的邏輯關係爲Q是P的必要條件。P→Q爲假當且僅當P爲真Q爲假。
命題P→Q的真值與命題P和命題Q的真值之間的關係
| P | Q |
P→Q |
| 0 | 0 |
1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
注意：
1.蘊含聯結詞也稱爲條件聯結詞，“如果P，則Q”也稱爲P與Q的條件式。
2.蘊含式的真值關係不太符合自然語言中的習慣
3.給定命題公式P→Q，命題公式Q→P稱爲P→Q的逆換式，┐P→Q稱爲P→Q的反換式,┐Q→P稱爲他的逆反式
在自然語言中，對於“如果……則……”這樣的語句當前提爲假時，結論不管真假，這個語句的意義是無法判斷的，
2.1.6 等價聯結詞
設P、Q爲任意二命題，複合命題“P當且僅當Q”稱爲命題P和Q的等價式。記作P↔Q,讀作“P當且僅當Q”,↔稱作等價聯結詞。
P↔Q的邏輯關係爲P與Q互爲充分必要條件，P↔Q爲真當且僅當P與Q同時爲真或同時爲假。
命題P與Q的真值之間的關係：
| P | Q | P↔Q |
| 0 | 0 |
1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |