析取命题

本意为合取的否定命题，旧译选言命题。常称为选言判断。支命题由命题联结词“或者”联结的复合命题。其支命题称为析取支(选言肢)。其形式为“p或者q”。“p或者q”真，当且仅为p和q中至少有一个真。由于“p或者q”真不排斥p、q都真，故由“或者”联结的命题又称为相容析取命题。现代汉语“要么”的含义比“或者”窄，“要么p要么q”真，当且仅当p和q中恰好有一个真。故由“要么”联结的复合命题叫做不相容析取命题。“要么p要么q”真时“p或者q”必真。反之不然。“或者”和“要么”可联结多个析取支，其含义分别为“若干支命题至少有一真”和“若干支命题恰好有一真。”“p或者q或者r”等值于“(p或者q)或者r”。但是，“要么p要么q要么r”真时“(要么p要么q)要么r”必真，但反之不然。古希腊逻辑学家泰奥弗拉斯多已经研究了析取命题及其有关的推理。传统逻辑在讨论析取命题时，主要论及4种互相有关的命题形式：①合取命题，p并且q；②合取命题的否定，不p或者不q；③选择(altemative)命题，p或者q；④分离(remotive)命题，不p并且不q，这是对析取命题的否定。