为什么太奇逻辑老师饶思中说“不是……就是……”为相容选言？？

为什么太奇逻辑老师饶思中说“不是……就是……”为相容选言？？

【不是…就是…】，其实是一种简略说法，其完整的描述应该是：
【如果不是…，那么就（一定）是…】。
所以，这种句子本质上是一个假言命题。
而，假言命题总是和一个选言命题等价：【p→q】＝【┐p∨q】；
所以：
【不是p就是q】
　＝【如果┐p那么q】
　＝【┐p→q】
　＝【p∨q】
　＝【p或者q】

　　其实，从自然语言本身来看，【不是…就是…】所表达的就是“两者至少有一个为真”的意思。所以当然是相容选言了。追问【┐p→q】推出【p∨q】？？？
从自然语言看，还是觉得【不是…就是…】所表达只能选一个啊！！！追答首先，对于那个推导，方法是：
　　根据：【x→y】＝【┐x∨y】；——为避免混淆，我换了一组符号；
　　得：【┐p→q】＝【┐（┐p）∨q】＝【p∨q】；
假言命题和选言命题间的转换关系，即“根据”中的那个公式，是形式逻辑中最基本、最常用的公式之一，一定得熟练掌握。

对于自然语言，因为【不是…就是…】经常会用于对事物进行一种分类，所以会让人觉得它是不相容的。比如：
　　一个人，不是唯物主义者，就是唯心主义者；
不过，它并不强制要求这种分类必须是严格的划分，比如：
　　不是他不同意，就是我不同意；
　　不是缺斤少两，就是以次充好；
显然，在这些用法中并不排除两者都有的情形。
　　所以，虽然这个连词在不相容的情况下用的更多一些，但它仍可用于相容的情况。而要从逻辑的角度分析，就要考虑总体情况。所以，把它定义为相容选言是更符合逻辑的。从逻辑上看，这个词只表达了一个确定的意思，就是不允许两者都“不是”；至于其他的，怎么都行。

窃以为，是不相容选言。不是黑的就是白的，黑跟白就不相容嘛。