析取

---

(拉丁语disjunctio——区分) 借助逻辑连接词“或”将两个命题构成一个复合命题的一种逻辑演算。

析取的符号表达式为AVB(读成A或B)。在古典数理逻辑中区分出两种析取：非严格的(联合的)析取和严格的(选言的)析取。非严格析取所构成的复合命题是：只要两个命题中有一个命题是真的时，这个复合命题就是真的；只有当复合命题中的两个命题都是假的时，这个复合命题才是假的。严格析取所构成的复合命题是：仅当其中只有一个析取项是真的时，整个复合命题才是真的。