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