其实，从自然语言本身来看，【不是…就是…】所表达的就是“两者至少有一个为真”的意思。所以当然是相容选言了。
狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。逻辑包括形式逻辑和数理逻辑（符号逻辑），形式逻辑包括归纳逻辑与演绎逻辑。
逻辑就是思维的规律，规则。逻辑学就是关于思维规律的学说。有逻辑和逻辑学两个概念通用。辑与逻搭配读轻声。
逻辑（理则学），源自古典希腊语（logos），最初的意思是“词语”或“言语”，（引申出意思“思维”或“推理”），1902年严复译《穆勒名学》，将其意译为“名学”，音译为“逻辑”；因为该词是由日制汉语“伦理”一词分拆而来，所以日语还把它译为“伦理学”。
传统上，逻辑被作为哲学的一个分支来研究。自从19世纪中期，逻辑经常在数学和计算机科学中研究。逻辑的范围非常广阔，从核心主题如对谬论和悖论的研究，到专门的推理分析如或然正确的推理和涉及因果关系的论证。
在我国古代，逻辑学又被称为理学、理则学、名学、刑名之学等。
1．思维的规律
沙汀 《还乡记》二：“这个想法也许不合逻辑，但在情理上却很有根据的。” 王西彦 《夜宴》一：“不过，按照廖淑宇先生自己的逻辑讲起来，却实在是有几分冤枉的。”
2．客观的规律性
艾芜 《谈短篇小说》：“认真研究下去，就可以找出社会生活的某些客观规律，即生活的逻辑。” 杨沫 《林道静的道路》：“这是历史的逻辑，也是生活的逻辑。”
3．顺理成章
符合规律。 洪深 《电影戏剧的编剧方法》第六章三：“至于联合变化的方法，他指出：一个剧情可以逻辑地引起第二个剧情。”
老舍 《黑白李》：“ 黑李并不黑，只是在左眉上有个大黑痣，因此他是黑李 ；弟弟没有那么个记号，所以是白李 ；这在给他们送外号的中学生们看，是很合逻辑的。”
4．指逻辑学
以推理形式为主要研究对象的学科。
王力 《龙虫并雕斋文集·逻辑和语言》：“逻辑是关于思维的形式和规律的科学。”
逻辑就是事情的因果规律，逻辑学就是关于思维规律的学说。有时逻辑和逻辑学两个概念通用。从狭义来讲，逻辑就是指形式逻辑或抽象逻辑，是指人的抽象思维的逻辑；广义来讲，逻辑还包括具象逻辑，即人的整体思维的逻辑。
以上内容来源：百度百科-逻辑
【如果不是…，那么就（一定）是…】。
所以，这种句子本质上是一个假言命题。
而，假言命题总是和一个选言命题等价：【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】；
假言命题和选言命题间的转换关系，即“根据”中的那个公式，是形式逻辑中最基本、最常用的公式之一，一定得熟练掌握。
对于自然语言，因为【不是…就是…】经常会用于对事物进行一种分类，所以会让人觉得它是不相容的。比如：
一个人，不是唯物主义者，就是唯心主义者；
不过，它并不强制要求这种分类必须是严格的划分，比如：
不是他不同意，就是我不同意；
不是缺斤少两，就是以次充好；
显然，在这些用法中并不排除两者都有的情形。
所以，虽然这个连词在不相容的情况下用的更多一些，但它仍可用于相容的情况。而要从逻辑的角度分析，就要考虑总体情况。所以，把它定义为相容选言是更符合逻辑的。从逻辑上看，这个词只表达了一个确定的意思，就是不允许两者都“不是”；至于其他的，怎么都行。