数学逻辑连接词
逻辑连接词是一种符号,用于连接两个或多个命题或谓词逻辑,使得结果逻辑仅取决于输入逻辑和所用连接词的含义。
通常有五个连接词是-
或(∨)
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 官宣新年祝福语简短