析取,disjunction,“析”查汉典有“分开,分散”的意思,应该是 disjunction 的直译。析取可以理解为分开来看,只要有一个条件满足,就能被选取。

P 或 Q 称为 P 与 Q 的 析取式

联结词“”是自然语言中的或,实际上代表的是可兼或