“不都”or“都不”？

王愛軍

對“三個實(shí)數(shù)a，b，c都相等”進(jìn)行否定，結(jié)果為“a，b，c不都相等”還是“a，b，c都不相等”呢？你曾經(jīng)產(chǎn)生過這樣的糾結(jié)嗎？不少同學(xué)對“不都”和“都不”的意義混淆不清，導(dǎo)致在解題時產(chǎn)生錯誤．那么我們?nèi)绾握_理解它們呢？首先，我們必須要弄清楚以下的結(jié)論：

（1）含有一個量詞的全稱命題的否定，若全稱命題p：?x∈M，p（x），則它的否定┐p：?x∈M，┐p（x）．全稱命題的否定是存在性命題．

（2）含有一個量詞的存在性命題的否定，若存在性命題p：?x∈M，p（x），則它的否定┐p：?x∈M，┐p（x）．存在性命題的否定是全稱命題．

一般地，量詞“都”表示全部，無一例外，含有量詞“都”的簡單命題是全稱命題．“都不”表示全不，即一個也沒有，含有“都不”的簡單命題其本質(zhì)上依然是全稱命題．而“不都”表示不是全部，即至少存在一個不是，包含一部分不是或者全部不是，它是對量詞“都”的否定，因此，含有“不都”的簡單命題也通常可以理解為存在性命題．

簡而言之，含“都不”和“不都”的簡單命題有如下區(qū)別和聯(lián)系．

聯(lián)系：“不都”和“都不”都表明至少存在一個不是．

區(qū)別：（1）“不都”是“都”的否定，“不都”表明可能局部不是，亦有可能全部不是，其包含“都不”這一特殊情況，即“都不”是“不都”的子集；

（2）含有“都不”的簡單命題其本質(zhì)上依然是全稱命題，含有量詞“不都”的簡單命題通常是存在性命題．

一、“不都”與“都不”在常用語與數(shù)學(xué)邏輯用語中的意義辨析

例1（1）本次學(xué)科競賽獲獎?wù)卟欢际俏覀儼嗟模?/p>

（2）本次學(xué)科競賽獲獎?wù)叨疾皇俏覀儼嗟模?/p>

辨析（1）作為常用語“本次學(xué)科競賽獲獎?wù)卟欢际俏覀儼嗟摹钡睦斫獬３в邪凳敬蠖鄶?shù)學(xué)科競賽獲獎?wù)叨际俏覀儼嗟模瑑H有少數(shù)不是我們班的；但從數(shù)學(xué)邏輯用語的角度準(zhǔn)確理解這句話，應(yīng)包含“部分是我們班的”或“全部不是我們班的”．（2）對“本次學(xué)科競賽獲獎?wù)叨疾皇俏覀儼嗟摹钡睦斫庠诔Ｓ谜Z與邏輯用語兩方面意義相同，沒有歧義．因此我們應(yīng)注意常用語理解的片面性、不準(zhǔn)確性，學(xué)會利用數(shù)學(xué)邏輯知識準(zhǔn)確嚴(yán)密地理解一個命題．

二、含有“都”的簡單命題的否定

例1請寫出下列命題的否定：

（1）所有小貓都喜歡吃魚；

（2）小貓不都喜歡吃魚；

（3）所有小貓都不喜歡吃魚．

解（1）否定：并非所有小貓都喜歡吃魚，即有的小貓不喜歡吃魚．

（2）“小貓不都喜歡吃魚”即“有的小貓不喜歡吃魚”，其否定：所有小貓都喜歡吃魚．

（3）否定：并非所有小貓都不喜歡吃魚，即“有的小貓喜歡吃魚”．

點(diǎn)評含“都”、“都不”的簡單命題是全稱命題，含“不都”的簡單命題是存在性命題，認(rèn)識到這一本質(zhì)是順利寫出其否定的前提和關(guān)鍵．

三、含有“都”且?guī)дZ氣助詞的命題的否定

例2寫出命題“全等三角形一定都相似”的否定．

錯解1全等三角形不一定都相似．

錯解2全等三角形一定都不相似．

點(diǎn)評有的同學(xué)認(rèn)為“一定都”的否定是“不一定都”，其實(shí)“不一定都相似”包含了“都相似”與“不都相似”兩類，其意思表達(dá)比較模糊，沒有給出明確論斷，因此它不能作為原命題的否定．對“全”、“都”的否定，只要在前面加一個“不”．而“一定”是一個語氣助詞，帶強(qiáng)調(diào)意味，這兩者有一定區(qū)別．在對“一定”、“一定都”等否定時，可分兩步進(jìn)行，先將“一定”兩字拿掉，對剩下的命題進(jìn)行否定，再將“一定”兩字放在“不”的前面．本題正解：全等三角形一定不都相似．

四、隱含“都”的命題的否定

例3寫出命題“負(fù)實(shí)數(shù)的相反數(shù)是正實(shí)數(shù)”的否定．

錯解負(fù)實(shí)數(shù)的相反數(shù)不是正實(shí)數(shù)．

點(diǎn)評命題“負(fù)實(shí)數(shù)的相反數(shù)是正實(shí)數(shù)”是隱含“都”的命題，理解這個命題時我們首先應(yīng)該補(bǔ)全被省略的量詞，以便準(zhǔn)確把握命題的本質(zhì)，其完整表達(dá)應(yīng)是“所有負(fù)實(shí)數(shù)的相反數(shù)都是正實(shí)數(shù)”．因此這個命題是全稱命題，其否定就應(yīng)該是存在性命題了，我們不能簡單地將“是”改成“不是”草草了事，還應(yīng)該注意量詞的改變，因?yàn)殄e解“負(fù)實(shí)數(shù)的相反數(shù)不是正實(shí)數(shù)”實(shí)際上依然是一個全稱命題，即“所有負(fù)實(shí)數(shù)的相反數(shù)都不是正實(shí)數(shù)”，其不合理性就顯而易見了．本題正解：并非所有負(fù)實(shí)數(shù)的相反數(shù)都是正實(shí)數(shù)，即“有的負(fù)實(shí)數(shù)的相反數(shù)不是正實(shí)數(shù)”．

“不都”，還是“都不”？關(guān)鍵是洞穿其本質(zhì)，然后只要按照存在性命題和全稱命題的知識按部就班地處理，問題就迎刃而解了．