相容选言推理的唯一有效式为“否定肯定式”： pVq, 非p; 所以q。 “肯定否定式”对相容选言推理是无效的。由 此得到相容选言推理的两条规则 2.不相容选言推理，就是以不相容选言命题为 大前提进行的推理。例5： 下届学生会主席要么是小李，要么是小张当选， 选举结果小李落选了； 所以，小张当选了下届学生会主席。 对不相容选言推理而言，“否定肯定式”和 “肯定否定式”均为有效式。相容选言推理的唯一有效式为“否定肯定式”： p∨q， 非p ； 所以q。 “肯定否定式”对相容选言推理是无效的。由 此得到相容选言推理的两条规则。 2. 不相容选言推理，就是以不相容选言命题为 大前提进行的推理。例5： 下届学生会主席要么是小李，要么是小张当选， 选举结果小李落选了； 所以，小张当选了下届学生会主席。 对不相容选言推理而言， “否定肯定式”和 “肯定否定式”均为有效式