##### 逻辑联结词 - 逻辑联结词 - **逻辑联结词**在[[命题逻辑]]中是一种真值函数, 即接受真值作为输入并产生唯一真值作为输出的函数, 复合命题就是由逻辑连接词连接的各个[[命题]]构成. 经典命题逻辑的联结词包括否定, 析取, 合取, 蕴涵和等价 - 否定, 记作 $\neg$ , 表示取反 - 合取, 记作 $\land$ , 表示且 - 析取, 记作 $\lor$ , 表示或 - 异或, 记作 $\oplus$ , 表示单选或, 两个命题有且仅有一个 - 条件, 记作 $\rightarrow$ , 表示如果那么 - 双条件, 记作 $\leftrightarrow$ , 表示当且仅当 >[!example]- 逻辑联结词 > - $p$ : 今天是星期一, $q$ : $2 + 2 = 5$ > - $\neg p$ 今天不是星期一 > - $p\land q$ 今天是星期一且 $2 + 2 = 5$ > - $p\lor q$ 今天是星期一或 $2 + 2 = 5$ > - $p\oplus q$ 今天是星期一或 $2 + 2 = 5$, 只有一个成立 > - $p\rightarrow q$ 如果今天是星期一, 那么 $2 + 2 = 5$ > - $p\leftrightarrow q$ 今天是星期一当且仅当 $2 + 2 = 5$