是“不都”還是“都不”？

王愛軍

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

一般地，量詞“都”表示全部，無一例外，含有量詞“都”的簡單命題是全稱命題?！岸疾弧北硎救唬匆粋€(gè)也沒有，含有“都不”的簡單命題其本質(zhì)上依然是全稱命題。而“不都”表示不是全部，即至少存在一個(gè)不是，包含一部分不是或者全部不是，它是對量詞“都”的否定，因此，含有“不都”的簡單命題也通?？梢岳斫鉃榇嬖谛悦}。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

命題的否定

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

錯(cuò)解1 全等三角形不一定都相似。

錯(cuò)解2 全等三角形一定都不相似。

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

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

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

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

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

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