一、相容选言
1.含义:断定几种事物情况至少有一种存在的复言,标准形式是A或B。
2.联结词:或
3.推理规则:已知相容选言为真的前提下,其中一个支为假时,另外一个支必定为真,即否定式推理有效。
4.矛盾:A或B的矛盾为非A且非B。
二、不相容选言
1.含义:两种事物情况中有且只有一种情况成立的选言,标准形式是要么A,要么B。
2.联结词:要么……要么
3.推理规则:已知不相容选言为真的前提下,其中一个支为真,则另外一个支必然为假,其中一个支为假,则另外一个支必然为真,即肯否定式推理有效。
4.矛盾:要么A,要么B的矛盾是A且B或非A且非B。
【例题】奥尔特星云浮游在太阳系边缘,极易受附近星体引力作用的影响。据研究人员计算,有时这些力量会将彗星从奥尔特星云拖出。这样,它们更有可能靠近太阳。两位研究人员据此分别作出了以下两种有所不同的断定:一、木星的引力作用要么将它们推至更小的轨道,要么将它们逐出太阳系;二、木星的引力作用或者将它们推至更小的轨道,或者将它们逐出太阳系。如果上述两种断定只有一种为真,可以推出以下哪项结论?A.木星的引力作用将它们推至更小的轨道,并且将它们逐出太阳系B.木星的引力作用没有将它们推至更小的轨道,但是将它们逐出太阳系C.木星的引力作用将它们推至更小的轨道,但是没有将它们逐出太阳系D.木星的引力作用既没有将它们推至更小的轨道,也没有将它们逐出太阳系
【答案】A
【解析】题干先后给出了一个不相容的选言和一个相容的选言。即“木星的引力要么将它们推至更小的轨道,要么将它们逐出太阳系”和“木星的引力或者将它们推至更小的轨道,或者将它们逐出太阳系”,前者是不相容,后者是相容。这两个只有一个为真的情况,就是构成选言的两个部分都真的时候,这时不相容的选言为假而相容选言为真。构成选言的两个部分都真的情况就是:木星的引力将它们推至更小的轨道,并且将它们逐出太阳系。