数学逻辑连接词

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

通常有五个连接词：

• 或 (∨)

• 与 (∧)

• 非/否 (¬)

• 蕴含/如果-那么 (→)

• 当且仅当 (⇔).

或 (∨) − 两个命题 A 和 B 的或运算（写成 A ∨ B）如果命题变量 A 或 B 中至少有一个为真，则结果为真。

真值表如下：

与 (∧) − 两个命题 A 和 B 的与运算（写成 $A \land B$）如果命题变量 A 和 B 都为真，则结果为真。

真值表如下：

非 (¬) − 命题 A 的非运算（写成 ¬ A）当 A 为真时为假，当 A 为假时为真。

真值表如下：

蕴含/如果-那么 (→) − 蕴含 A → B 是命题“如果 A，那么 B”。如果 A 为真而 B 为假，则结果为假。其余情况均为真。

真值表如下：

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

真值表如下：

Mahesh Parahar

更新于：2019年8月23日

14K+ 次浏览

开启你的职业生涯

完成课程获得认证

开始学习