数学逻辑连接词

逻辑连接词是一种符号，用于连接两个或多个命题或谓词逻辑，使得结果逻辑仅取决于输入逻辑和所用连接词的含义。

通常有五个连接词是-

• 或（∨）

• AND（∧）

• 否定/非（¬）

• 暗示/如果-则（→）

• 当且仅当（⇔）。

OR（∨） -如果命题变量A或B中至少任何一个为真，则两个命题A和B（写为A any B）的OR运算为true。

真值表如下-

AND（∧） -如果命题变量A和B都为真，则两个命题A和B（写为$A \ land B $）的AND运算为true。

真值表如下-

否定（¬） -命题A（写为¬A）的否定在A为真时为假，在A为假时为真。

真值表如下-

蕴涵/ if-then（→） -蕴涵A→B是命题“如果A，则B”。如果A为真，B为假，则为假。其余情况是正确的。

真值表如下-

当且仅当（⇔） − A⇔B是双条件逻辑连接词，当p和q相同（即两者均为假或均为真）时为真。

真值表如下-