能通過所有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
另外蹲個大神論述。
推薦閱讀：
