析取词
析取词
析取词是数学逻辑中的一种命题连接词。
表示方法及真假关系
析取词可以用符号“∨”来表示,其中A∨B可以读作“A或B”。在这种情况下,如果A和B都是假的,则A∨B也是假的;反之,只要A或B有一个是真的,那么A∨B就是真的。对于不可兼的(互斥的)析取命题,可以通过对等值命题的否定来表示,比如¬(A∨B)。在这个例子中,如果A和B都是假的,则¬(A∨B)是真的;而当A或B至少有一个是真的时,¬(A∨B)则是假的。
目录
概述
表示方法及真假关系
参考资料