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