不是A就是B是不相容选言。不是，就是，因为非A即B,只能存在一个，所以是不相容选言命题。而相容选言命题（或者，或者，)可以两个同时存在。
通常用A、B表示。这样，不相容选言命题的逻辑形式可以写成：要么A,要么B。
不相容选言推理法
是根据不相容选言判断的逻辑性质而进行的推演方法。若一个不相容判断为真，则它的选言肢中只有一真。根据这种性质，不相容选言推理法有两条规则：①小前提肯定大前提中的一个选言肢，结论就否定其余部分的选言肢；②小前提否定大前提中一部分选言肢，结论就肯定余下的这个选言肢。
相应于这两条规则，有两种推演形式：①肯定否定式：其大前提为不相容选言判断，小前提肯定大前提中的一个选言肢，从而推出否定其余选言肢的结论。②否定肯定式：小前提否定大前提中除一个以外的所有选言肢，从而结论就肯定余下的这一个选言肢。
