邏輯學(xué)上否定之否定等于肯定 ， 那為什么肯定之肯定不等于否定呢？否定 ， 在邏輯學(xué)上是一種一元邏輯運(yùn)算 ， 稱為 否 ， 記為 ? 。所謂一元運(yùn)算 ， 就是只接受一個(gè) 變量 的單目運(yùn)算 ， 例如：數(shù)學(xué)上的 負(fù)號 - ， 它 只能接受一個(gè)數(shù)學(xué)變量 如 ， -a 。否運(yùn)算也一樣 ，  只能接受一個(gè)邏輯變量 如 ，  ?p 。邏輯變量的值 只能 是 真 或 假 ， 數(shù)理邏輯中 ， 用 1 表示 真 ， 用 0 表示 假（在形式邏輯中 ， 也會用 T 表示 真 用 F 表示 假） 。對于 否運(yùn)算來說 ， 有如下運(yùn)算規(guī)律：當(dāng) p = 0 ， 時(shí) ?p = 1；當(dāng) p = 1 ， 時(shí) ?p = 0；以上的文字描述不方便 ， 邏輯學(xué)上習(xí)慣將其繪制成表格 ， 如下：這張表稱為真值表 。和否定相似 ， 肯定 也是 一元邏輯運(yùn)算 ， 記為 i ， 真值表如下：利用上面的 否定 的 真值表 ， 我們可以很方便的列出 否定之否定 ， 即 ， ??p 的真值表：很容易發(fā)現(xiàn) ， 上表 ??p 這一列 和 前表 i p 這一列 完全相同 ， 故 對于 p 是任意值 ， 有 ??p = i p ， 即 ， 否定之否定等于肯定 。反過來 ， 從 肯定 的真值表可以看出 ， i p = p ， 即 ， 肯定 不改變 p 的值 ， 于是 i i p = i p ， 即 ，  肯定之肯定還是肯定 ?？梢詫?否定（?） ， 肯定（i） ， 類比 數(shù)學(xué)中的 負(fù)號（-） 和 正號（+） ， 我們有：負(fù)負(fù)得正 ， 正正還是正 ， 之說 ， 例如：-(-1) = +1+(+1) = +1注意：所謂肯定 ， 就是 肯定 p 的真假性 ， 并不是 一味認(rèn)為 p 是 真的 。后者 稱為 永真 運(yùn)算 ， 記為 ? ， 還有最后一種 一元邏輯運(yùn)算 ， 稱為 永假 ， 記為 ⊥ 。永真 和 永假 的 真值表如下：因?yàn)?一個(gè)邏輯變量 p 只有2種值 ， 每種值可以任選 2 中值的任意一種作為結(jié)果 ， 于是 一元邏輯運(yùn)算有 22 = 4 種 ， 以上全部羅列出來了 。（多啰嗦幾句）除了 ， 一元邏輯運(yùn)算 ， 還有二元邏輯運(yùn)算 ， 它有 42=16 種 ， 列成真值表如下：其中：f? 稱為 與（合?。?運(yùn)算 ， 表示合取邏輯；f? 稱為 等價(jià)（當(dāng)且僅當(dāng)） 運(yùn)算；f?? 稱為 蘊(yùn)涵（推出） 運(yùn)算；f?? 稱為 或（析?。?運(yùn)算 。這些大家或多或少都都聽說過 。一個(gè)邏輯運(yùn)算可以 和 其它 邏輯運(yùn)算的組合 等價(jià) 在數(shù)理邏輯中 是見慣的事情 。二元邏輯 16 種 我們只定義了 4 種 ， 就是因?yàn)?其它 的 二元邏輯運(yùn)算 可以 被 這 4 種 加上 否 運(yùn)算 的組合 所表示 ， 例如：f?(p, q) = (p ∨ q) ? (p ∧ q)同樣 ， 其它一元邏輯運(yùn)算 也可以 被 4 + 1 這種運(yùn)算的組合 表示：? p = p ? p ， ⊥ p = ?(p ? p)更進(jìn)一步 ， 對于多元（二元以上）的邏輯運(yùn)算 ， 依然可以通過4 + 1 的組合 來表示 。于是最終 ， 我們選取了 4 + 1 作為 一階邏輯語言的全部運(yùn)算符 。（當(dāng)然 ， 以上這些表示都不是唯一的 。）（以上 ， 小石頭多啰嗦幾句 ， 主要是向大家展示邏輯表達(dá)式的魅力！否定之否定等于肯定 ， 僅僅是邏輯公式的一個(gè) ， 還有很多神奇的邏輯公式 。）（補(bǔ)充）否定之否定：??p＝p；反正法：?q→?p＝p→q；他們是不同的邏輯規(guī)律 。（補(bǔ)充2）看到有些網(wǎng)友說：現(xiàn)實(shí)世界不是非黑即白的 ， 還有灰 ， 因此 ， 否定之否定等于肯定 ， 不能在現(xiàn)實(shí)中使用 。這種想法其實(shí)是不正確的！ 分析如下：建立模型：● 世界由黑、白、灰組成 ， 即 ， 世界 = 黑 ∪ 白 ∪ 灰；● 黑、白、灰 的概念清晰不相互重疊 ， 即 ， 黑 ∩ 白 = 白 ∩ 灰 = 灰 ∩ 黑 = ?；對于 ， 命題：b = x 是 黑的 ， 其否命題為：?b = x 不是 黑的 ， ?b 是在 世界 中 真實(shí)存在的 ， 可定義為：?b = x 是 白的 或者 x 是 灰的；如果 ， 再定義：w = x 是 白的 ， g = x 是灰的 ， 則 ， ?b = w ∨ g以上是三個(gè)獨(dú)立命題的例子 ， 依此思路可以擴(kuò)展到任意多個(gè) ， 比如：世界的灰不是一種灰色 ， 可以是 灰? ， 灰? ，  ...另外 ， 說二元邏輯無法應(yīng)付多元的情況也是不對的！分析如下：就著上面的例子 ， 直接給出實(shí)例：二元世界 = 黑 ∪ 白 ， 則令 0 = 黑 ， 1 = 白；三元世界 = 黑 ∪ 白 ∪ 灰 ， 則令 (0, 0) = 黑 ， (1, 1) = 白 ，  (0, 1) = (1, 0) = 灰；四元世界 = 黑 ∪ 白 ∪ 灰? ∪ 灰? ， 則令 (0, 0) = 黑 ， (1, 1) = 白 ， (0, 1) = 灰?,(1, 0) =灰?；...以上實(shí)例足以說明 ， 通過類似多維坐標(biāo)的組合 ， 二元邏輯可以變出任何多元邏輯 。rr回答你這個(gè)有意思問題應(yīng)該這樣思考 。首先我們要知曉你所認(rèn)可的否定之否定的兩個(gè)否定之間的連接關(guān)系 。既然你問題的前提是否定之否定的確立 ， 也就是說你認(rèn)可否定之否定 。而要使得否定之否定成立 ， 兩個(gè)否定之間連接關(guān)系必然是乘以的關(guān)系 。若其連接關(guān)系是加的關(guān)系則否定之否定就不存在了 ， 那么你的問題也就不存在了 。好了 ， 在我們得知了否定之否定間的連接關(guān)系是乘以關(guān)系后 ， 我們再來看否定這個(gè)動作的本身意味 。