能通过所有A都是B推出所有非B都非A的结论吗？
如题
得证。
建议学一下数理逻辑
我不太熟悉命题的术语，故使用集合。用反证法。设有两个集合A，B。B包含A。对于某一元素x属于非B，假设该元素属于A，则该元素一定属于B，与假设矛盾。故该元素不属于A。即该元素属于非A。
除了直接逆否命题判断，转换成包含问题用维恩图画一下也行吧，我觉得可以
在当前我所认知的数学范畴内，这个是成立的。
假设a是一个小盒子，b是大盒子，并且a在b内。
那么在a盒内的物体必然在b盒内。也就是a都是b
同理，b盒之外的物体，必然在a盒之外。也就是非b都非a。
你这个「是」这个字唬住我了
我现在都不敢下判断
但是A则B 可以推出 非B则非A 我还是是可以宣布的
这不就是基本的逆否命题吗2333
另外蹲个大神论述。
推荐阅读：
