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