MBA聯(lián)考邏輯精點：直言命題的負(fù)命題
2014-06-11 10:23 | 太奇MBA網(wǎng)
管理類碩士官方備考群，考生互動，擇校評估，真題討論 點擊加入備考群>>負(fù)命題有兩大類：一類是簡單命題的負(fù)命題，簡稱負(fù)簡單命題;另一類是復(fù)合命題的負(fù)命題，簡稱負(fù)復(fù)合命題。
(1)直言命題的負(fù)命題
直言命題有A、E、I、0四種，他們的負(fù)命題也有幾種：
1)A命題的負(fù)命題
“所有S都是P”的負(fù)命題是“并非所有S都是P”，用邏輯符號表示┐A(讀作非A)。
“并非所有S都是P”等值于“有些S 不是P”，即A命題的負(fù)命題等值于O命題，用邏輯符號表示是：┐A←→O(←→表示等值)
2)E命題的負(fù)命題
“所有s都不是P”的負(fù)命題是“并非所有s都不是P”，用邏輯符號表示┐E(讀非E)。
“并非所有s都不是P”等值于“有些s是P”，即E的負(fù)命題等值于I，用邏輯符號表示是：，┐E ←→I。
3)I命題的負(fù)命題
“有些S是P”的負(fù)命題是“并非有些S是P”，用邏輯符號表示┐I(讀作非I)。
“并非有些S是P”等值于“所有S都不是P”，即I命題的負(fù)命題等值于E命題，用邏輯符號表示是┐I←→E。
4) 0命題的負(fù)命題 1
“有些S不是P”的負(fù)命題是“并非有些S不是P”，用邏輯符號表示是：┐O(讀非0)：
“并非有些S不是P”等值于“所有S都是P”，即O命題的負(fù)命題等值于A命題，用邏輯符號表示墨：┐O←→A
