联结词：确定复合命题的逻辑形式
联结词是从日常生活中抽象出来的
优先级：\(()\) \(\lnot\) \(\land\) \(\lor\) \(\rightarrow\) \(\leftrightarrow\)
离散数学中的联结词只注重“真值”，而不顾及具体内容，故亦称为“真值联结词”
联结词详表
| 联结词类型 | 联结词符号 | 联结词读法 | 联结词规则 |
|---|---|---|---|
| 否定联结词 | \(\lnot、\) \(not、！\) | 非、...的否定 | \(\lnot1=0\) |
| 合取联结词 | \(\land、and、\)&& | 并且、与 | $$1\land1=1$$ 有0就为0 |
| 析取联结词（可兼取的，并非强制二选一） | \(\lor、or、||\) | 或 | $$0\lor0=0$$ 有1就为1 |
| 蕴涵联结词（条件联结词） | \(\rightarrow（条件式）\) | 如果....，则.... | $$1\rightarrow0=0$$ 其余都为1 |
| 等价联结词（双条件联结词） | \(\leftrightarrow（双条件式）\) | 当且仅当 | 相等结果为1、不相等结果为0 |
析取联结词和合取联结词都满足交换律和结合律
其中\(\lnot\)为一元联结词，其余为二元联结词（根据符号搭配的命题个数）
关于蕴涵联结词 $P\rightarrow Q的逆换式是Q \rightarrow P，反换式是 \lnot P \rightarrow \lnot Q，逆反式 \lnot Q \rightarrow \lnot P $，箭头前面称为前件，后面称为后件