这同样是选言推理的否定肯定式。大前提断定了凶手身份的四种可能情况，警方经过深入分析，逐一排除了“医生”“屠户”和“职业杀手”这三种可能，于是便肯定了“肉贩子”这种身份。
细心的读者可能发现，上面两个推理的大前提都没有穷尽一切可能情况，即选言肢不穷尽。选言肢不穷尽并不等于选言判断不正确，传统演绎法认为：只要所断定的若干可能情况中包含了至少一个真实的情况，那么该选言判断就是正确的。
选言判断有客观穷尽与主观穷尽之分。所谓客观穷尽是指选言判断客观上断定对象的所有可能情况，而主观穷尽则是指选言判断并没有客观断定对象的所有可能情况，而只断定了对象的一些可能情况，但在这些被断定的可能情况中，至少有一种可能情况为真。一般来说，当可以做到客观穷尽的时候，应当要穷尽一切可能。可事实是，客观穷尽是非常困难的，大多时候我们只能做到主观穷尽。因此，我们在运用选言判断并进行推理时，虽然可能无法做到客观穷尽，但一定要保证主观穷尽。
美女是选配还是标配
充分条件假言推理是以充分条件假言判断为大前提，根据其前、后件之间存在的充分条件联系来进行推演的推理。充分条件假言推理的规则有两条：一是肯定大前提前件，就必然肯定大前提后件；二是否定大前提后件，就必然否定大前提前件。充分条件假言推理在前提真实的情况下，之所以能够得出必然真的结论，就是由其前后件之间存在的多条件联系决定的。根据规则，充分条件假言推理有两种推理形式，一种是“肯定前件式”，一种是“否定后件式”。