数学逻辑连接词
逻辑连接词是一种符号,用于连接两个或多个命题或谓词逻辑,使得结果逻辑仅取决于输入逻辑和所用连接词的含义。
通常有五个连接词是-
或(∨)
AND(∧)
否定/非(¬)
暗示/如果-则(→)
当且仅当(⇔)。
OR(∨)-如果命题变量A或B中至少任何一个为真,则两个命题A和B(写为AanyB)的OR运算为true。
真值表如下-
AND(∧)-如果命题变量A和B都为真,则两个命题A和B(写为$A\landB$)的AND运算为true。
真值表如下-
否定(¬)-命题A(写为¬A)的否定在A为真时为假,在A为假时为真。
真值表如下-
蕴涵/if-then(→)-蕴涵A→B是命题“如果A,则B”。如果A为真,B为假,则为假。其余情况是正确的。
真值表如下-
当且仅当(⇔)−A⇔B是双条件逻辑连接词,当p和q相同(即两者均为假或均为真)时为真。
真值表如下-
热门推荐
1 如何训练狗狗不叫
2 训练狗狗不叫
3 训练狗狗随行
4 怎么训练狗狗不叫
7 训练比熊狗狗教程
10 上海狗狗训练
11 怎么训练狗狗上厕所
12 训练狗狗趴下
13 狗狗服从训练
14 训练狗狗拒食
15 训练狗狗笑
16 训练狗狗大便
17 训练狗狗立
18 训练狗狗捡东西