)选言命题
形式为“A或者B”的复合命题。现代逻辑称之为析取命题。选言命题陈述几种事物情况之中至少有一种存在。在形式逻辑中，该命题的联结词“或者”理解为相容的，即不能同假但可以同真,当支命题A和B都真时,复合命题“A或者B”仍为真；“A或者B”假,当且仅当A和B都假。中国许多有关传统逻辑的书中,常称这种命题为相容的选言命题，具体的例子如“张三讲错了或者李四听错了”。日常语言关于 “或者” 的含义往往不确定，有时可能表示不能同真。在日常语言中，如果已确知某一命题 A为真，通常不作出“A或者B”的断定。古希腊逻辑学家泰奥弗拉斯多已经研究了选言命题及其有关的推理。传统逻辑在讨论选言命题时，主要涉及 4种互相有关的命题形式：①A并且B，这是联言命题，现代逻辑则称之为合取命题；②非A或者非B，这是选言命题，是对联言命题的否定；③A或者B；④非A并且非B，即分离命题，它是A或者B的否定。中国讲传统逻辑的书，大都论及不相容的选言命题其形式为“要么A要么B”。“要么，要么”的含义与“或者”不同,它表示不能同真,又不能同假。不相容的选言命题的具体例子，如“中国要么走社会主义道路，要么走资本主义道路”。
