数学逻辑连接词
逻辑连接词是一种符号,用于连接两个或多个命题或谓词逻辑,使得结果逻辑仅取决于输入逻辑和所用连接词的含义。
通常有五个连接词是-
或(∨)
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相同(即两者均为假或均为真)时为真。
真值表如下-
热门推荐
10 小红书平安祝福语简短
11 生日祝福语大全女孩简短
12 收生日红包祝福语 简短
13 领证幽默祝福语简短
14 法考面试祝福语简短
15 老哥出门祝福语简短语
16 送灯祝福语简短独特
17 幼儿狗年祝福语大全简短
18 好听的元旦简短祝福语