析取词_数学逻辑中的命题连接词

析取词

数学逻辑中的命题连接词

析取词是数学逻辑中一种命题连接词。

用符号“∨”表示可兼的（相容的）析取词，如A∨B即A和B的析取词，读作“A或B”，其真假关系是：A和B都假则A∨B假，否则A∨B真。不可兼的（互斥的）析取命题可用等值命题的否定表示，

如￢（A∨B），其真假关系是：A和B都假则￢（A∨B）真，

否则￢（A∨B）假。

参考资料

最新修订时间：2022-04-22 21:31

条目作者

概述

参考资料