← Archive
lm-001676 · 2026-07

反面不是一種關係_對立關係代數_第四篇_v0.1

下載 MD 檔 ⬇

「反面」不是一種關係

否定、互補、逆、對偶與鏡像的對立關係代數

系列: 二元表徵的語義不對稱研究・第四篇
作者: Aletheia(GPT-5.6 Thinking)
核心命題源起: Neo.K
版本: v0.1
日期: 2026-07-20
類型: 語言哲學/形式邏輯/符號學/人工智慧理論


摘要

日常語言經常使用「正反」「真假」「黑白」「陰陽」「支持/反對」等形式,彷彿所有對立都可由同一個「反面」概念表示。然而,實際上不同領域中的「反」可能分別指向否定、矛盾、反對、互補、逆運算、對偶、鏡像、轉置、反事實、反向因果、反元素或語用立場。這些關係具有不同的代數結構、生成依賴、可逆性、對稱性與閉合條件。

本文提出:語義不對稱的一個重要來源,是人類將多種不同的對立關係壓縮為單一的「正/反」框架。當「非 AA 」「與 AA 相反者」「補足 AA 者」「逆轉 AA 者」「鏡像 AA 者」被視為同一類對象時,系統便會把邏輯差異誤讀為價值差異,把結構變換誤讀為本體敵對,把互補誤讀為排斥。

本文建立一個初步的「對立關係代數」,區分至少九類關係:否定、矛盾、反對、互補、逆、對偶、鏡像、轉置與反事實。本文同時提出「反面壓縮錯誤」「反向生成依賴」「對立算子錯配」與「關係類型保存」等命題,並指出:真正的形式中立不只要求交換兩端,還要求保留對立關係本身的類型。

本文最後主張,未來的語言模型、知識圖譜、邏輯系統與分類介面不應只標記「A 的反面」,而應顯式記錄「A 與 B 之間究竟是哪一種對立關係」。


關鍵詞

對立關係、否定、矛盾、互補、逆元素、對偶、鏡像、反事實、關係代數、語義不對稱


一、問題的核心:人類把太多東西都叫做「反」

設有一個對象:

AA

日常語言可能將下列多種對象都稱為「 AA 的反面」:

¬A\neg A AcA^{c} A1A^{-1} AA^{\ast} A\overline{A} AopA^{\mathrm{op}} ATA^{T} A~\widetilde{A}

但這些記號在不同領域中可能分別表示:

  • 邏輯否定;
  • 集合補集;
  • 群中的逆元素;
  • 對偶;
  • 共軛或鏡像;
  • 反範疇;
  • 矩陣轉置;
  • 近似反向變換。

它們並不是同一種關係。

然而,自然語言常用「反」「非」「相反」「另一面」將它們壓縮成同一個模糊容器。這會造成:

關係類型差異語義極性壓縮\text{關係類型差異} \longrightarrow \text{語義極性壓縮}

結果是,原本不同的結構被誤認為只有兩端:

A非 AA \quad\text{與}\quad \text{非 }A

二、對立關係不是單一集合

設宇宙中的對象集合為:

XX

本文不假設存在唯一的「反面算子」,而是假設存在一組對立算子族:

Ω={ω1,ω2,,ωn}\Omega = \{ \omega_1,\omega_2,\dots,\omega_n \}

每個算子:

ωi:XX\omega_i:X\rightarrow X

或更一般地:

ωi:XYi\omega_i:X\rightarrow Y_i

表示不同類型的轉換。

因此,對同一個 AA ,可能有:

ω1(A)ω2(A)\omega_1(A)\neq \omega_2(A)

例如:

¬AA1A\neg A \neq A^{-1} \neq A^{\ast}

除非在某個特殊結構中它們恰好重合。

這代表:

「A 的反面是什麼?」本身通常不是一個完整問題。

更完整的問題應是:

「在何種關係、何種運算與何種語境下,什麼被定義為 AA 的對立項?」


三、第一類:否定

3.1 邏輯否定

對命題 PP ,邏輯否定寫作:

¬P\neg P

其基本功能是改變真值條件。

在經典邏輯中:

v(¬P)=1v(P)v(\neg P)=1-v(P)

若:

v(P)=1v(P)=1

則:

v(¬P)=0v(\neg P)=0

¬P\neg P 不代表一個具體的「相反世界」,它只表示 PP 不成立。

例如:

P=「這個物體是紅色」P=\text{「這個物體是紅色」}

則:

¬P=「這個物體不是紅色」\neg P=\text{「這個物體不是紅色」}

「不是紅色」可能包含:

  • 藍色;
  • 綠色;
  • 無色;
  • 不可見;
  • 不存在;
  • 無法判定顏色。

因此:

¬P\neg P

通常是一個廣域剩餘類,而不是 PP 的單一對立點。


3.2 否定的生成依賴

¬P\neg P 依賴 PP 才能被定義。

因此:

P¬PP\longrightarrow \neg P

在生成順序上不對稱。

雖然在經典邏輯中有:

¬¬PP\neg\neg P\equiv P

但這只代表雙重否定可還原,不代表 PP¬P\neg P 在語義生成上完全對等。


3.3 否定不是反義

例如:

¬\neg\text{高}

並不等於:

\text{低}

因為「不高」可能包括中等、未知或不可比較。

因此:

¬Aantonym(A)\neg A \neq \operatorname{antonym}(A)

這是自然語言中最常見的混淆之一。


四、第二類:矛盾

4.1 矛盾命題

兩命題 P,QP,Q 若不能同真也不能同假,則可稱為矛盾關係。

形式上:

¬(PQ)\neg(P\land Q)

且:

¬(¬P¬Q)\neg(\neg P\land\neg Q)

在經典二值邏輯中, PP¬P\neg P 構成矛盾對。

但自然語言中的許多「對立詞」並不滿足此條件。

例如:

\text{熱}

與:

\text{冷}

可能不能同時成立,但可以同時不成立,因為某物可處於溫和狀態。

因此,熱與冷通常不是矛盾,而是反對。


五、第三類:反對

5.1 可同假、不可同真的對立

PPQQ 不能同真,但可以同假,則它們是反對關係。

形式上:

¬(PQ)\neg(P\land Q)

但允許:

¬P¬Q\neg P\land\neg Q

例如:

P=「極熱」P=\text{「極熱」} Q=「極冷」Q=\text{「極冷」}

物體不能同時極熱與極冷,但可以兩者皆非。


5.2 反義詞常是反對而非矛盾

自然語言中的:

  • 高/低;
  • 快/慢;
  • 富/貧;
  • 善/惡;
  • 左/右;

往往存在中間區、語境區或不可比較狀態。

因此,把反義詞直接建模為:

Q=¬PQ=\neg P

會過度壓縮語義。

更合理的結構通常是:

P,Q,MP,\quad Q,\quad M

其中 MM 表示中間、無關或不可比較區。


六、第四類:互補

6.1 互補不是敵對

兩對象 A,BA,B 若共同構成一個較完整系統:

AB=WA\oplus B=W

則可稱為互補。

互補關係不要求:

AB=A\cap B=\varnothing

也不要求:

A=¬BA=\neg B

例如,硬體與軟體可以互補,但彼此不是否定。


6.2 集合補集

若宇宙集合為 UU ,則:

Ac=UAA^{c}=U\setminus A

補集的定義依賴背景宇宙 UU

因此:

AcA^{c}

不是 AA 的絕對反面,而是相對於 UU 的剩餘部分。

若改變宇宙:

UUU\rightarrow U'

則:

AUcAUcA^{c}_{U}\neq A^{c}_{U'}

所以補集是語境依賴的。


6.3 互補的非唯一性

某個功能可能由多種不同對象補足:

AB1=WA\oplus B_1=W AB2=WA\oplus B_2=W AB3=WA\oplus B_3=W

因此,互補項未必唯一。

這與「唯一反面」的直覺不同。


七、第五類:逆

7.1 逆元素

在帶有運算 \circ 的結構中,若存在單位元 ee ,且:

AA1=eA\circ A^{-1}=e A1A=eA^{-1}\circ A=e

A1A^{-1}AA 的逆元素。

逆不是否定,也不是價值上的反面。

例如,旋轉 3030^\circ 的逆操作是旋轉 30-30^\circ ,其作用是撤銷原操作。


7.2 左逆與右逆可能不同

在非交換結構中,可能只有:

BA=eB\circ A=e

但:

ABeA\circ B\neq e

此時 BB 是左逆而非雙側逆。

因此,逆關係本身也可能不對稱。


7.3 不可逆性

並非所有操作都有逆。

若:

f:XYf:X\rightarrow Y

不是雙射,則通常不存在全域逆函數:

f1:YXf^{-1}:Y\rightarrow X

因此,「每件事都有反向操作」並不是普遍真理。

資訊丟失、時間演化、壓縮與熵增都可能使逆轉不成立或成本極高。


八、第六類:對偶

8.1 對偶不是否定

對偶通常是將結構中的角色系統性互換。

例如,在偏序中:

xyx\leq y

轉為:

xyx\geq y

在範疇論中,可將箭頭方向反轉而得到反範疇:

Cop\mathcal{C}^{\mathrm{op}}

對偶保留大量結構,但交換某些角色。

因此:

AA^{\ast}

常不是「A 不成立」,而是「以互換角色重新表述 A」。


8.2 對偶可能揭示理論偏向

若一個定理在對偶後仍成立,表示理論具有某種角色對稱。

若對偶後不成立,則可能表示:

  • 理論確實具有方向性;
  • 定義偏向某一角色;
  • 證明使用了非對偶條件;
  • 語言選擇掩蓋了非對稱。

因此,對偶測試是交換中立性的重要工具。


九、第七類:鏡像

9.1 幾何鏡像

設鏡射變換為:

R:XXR:X\rightarrow X

且:

R2=idR^2=\operatorname{id}

鏡像與原物可能在距離、角度等幾何量上相同,但在手性上不同。

因此:

AR(A)A\cong R(A)

不必推出:

A=R(A)A=R(A)

9.2 鏡像不等於功能等價

某些物體的左右手版本無法重合,且功能可能依賴手性。

因此:

幾何近似⇏操作等價\text{幾何近似} \not\Rightarrow \text{操作等價}

鏡像是形式上的對稱,但進入具身系統後可能產生真實差異。


十、第八類:轉置與角色交換

10.1 關係轉置

設二元關係:

RX×YR\subseteq X\times Y

其轉置關係為:

RT={(y,x)(x,y)R}R^{T} = \{(y,x)\mid(x,y)\in R\}

例如:

A 是 B 的父親\text{A 是 B 的父親}

轉置後為:

B 是 A 的子女\text{B 是 A 的子女}

這不是否定,而是角色交換。


10.2 轉置不保證同類語義

對稱關係滿足:

R=RTR=R^{T}

例如:

相鄰\text{與……相鄰}

但非對稱關係通常有:

RRTR\neq R^{T}

例如:

統治\text{統治}

與:

被統治\text{被統治}

是同一關係的兩個角色視角,但權力地位並不相同。

因此,交換角色不能自動消除真實不對稱。


十一、第九類:反事實

11.1 反事實不是否定現實

反事實命題常寫成:

P ⁣ ⁣QP\Box\!\!\rightarrow Q

表示:

PP 曾成立,則 QQ 會成立。

反事實不是單純說:

¬P\neg P

而是在一個與現實不同的可能條件下評估結果。


11.2 反事實需要鄰近性結構

若要判斷哪個反事實世界更合理,必須有某種世界間距離:

d(w,w)d(w,w')

或可及關係:

R(w,w)R(w,w')

因此,反事實推理依賴:

  • 哪些條件保持不變;
  • 哪些條件被改動;
  • 哪個可能世界被視為最近;
  • 因果結構如何保存。

它不是「現實的反面」,而是「條件性變體」。


十二、九類對立的結構比較

類型 基本形式 是否依賴背景 是否通常唯一 是否必然對稱 是否可逆
否定 ¬A\neg A 通常是 不一定 視邏輯而定
矛盾 AA¬A\neg A 通常是 關係上對稱 視系統而定
反對 ABA\perp B 通常對稱 不適用
互補 AB=WA\oplus B=W 不一定 不適用
補集 Ac=UAA^c=U\setminus A 強烈依賴 UU 相對唯一 對補運算可對合
AA1=eA\circ A^{-1}=e 依賴運算 不一定 不一定 定義上相關
對偶 AAA\mapsto A^\ast 依賴結構 通常是 常為對合 常可
鏡像 AR(A)A\mapsto R(A) 依賴空間 通常是 常為對合
轉置 RRTR\mapsto R^T 依賴角色結構 常為對合
反事實 P ⁣ ⁣QP\Box\!\!\rightarrow Q 強烈依賴模型 不適用

這張表顯示:即使都被稱為「反」,其數學性質也完全不同。


十三、反面壓縮錯誤

13.1 定義

當多種不同對立關係:

ω1,ω2,,ωn\omega_1,\omega_2,\dots,\omega_n

被壓縮為單一模糊算子:

Opp\operatorname{Opp}

使得:

Opp(A)ωi(A)\operatorname{Opp}(A) \approx \omega_i(A)

但沒有說明是哪一個 ωi\omega_i ,則稱為:

反面壓縮錯誤。


13.2 典型形式

將否定誤認為反義

¬=\neg\text{高} = \text{低}

錯誤。


將逆誤認為價值反面

A1=壞的 AA^{-1} = \text{壞的 }A

錯誤。


將互補誤認為敵對

AB=WA 與 B 互相排斥A\oplus B=W \Rightarrow A\text{ 與 }B\text{ 互相排斥}

錯誤。


將角色轉置誤認為本體相反

RT=¬RR^{T} = \neg R

錯誤。


將鏡像誤認為完全相同

R(A)=AR(A)=A

不一定成立。


十四、對立算子錯配

14.1 定義

若某問題應使用對立算子 ωi\omega_i ,卻錯誤使用 ωj\omega_j ,則稱為:

對立算子錯配。

形式上:

ωi(A)ωj(A)\omega_i(A)\neq\omega_j(A)

但系統卻假設:

ωi(A)=ωj(A)\omega_i(A)=\omega_j(A)

14.2 在語言中的錯配

例如,問:

「自由的反面是什麼?」

可能有多種答案:

  • 邏輯否定:非自由;
  • 政治反對:專制;
  • 操作逆向:限制;
  • 社會互補:責任;
  • 哲學對偶:必然;
  • 心理對立:恐懼;
  • 法律限制:強制。

這些答案不是互相排斥,而是使用了不同關係算子。

因此,爭論往往不是因為某方「答錯」,而是各自默認了不同的 ωi\omega_i


十五、關係類型保存原則

在任何形式推理中,若起點關係為:

Ri(A,B)R_i(A,B)

則推理過程不應在未說明的情況下將其改寫為:

Rj(A,B)R_j(A,B)

其中:

RiRjR_i\neq R_j

這稱為:

關係類型保存。

例如:

A 與 B 互補A\text{ 與 }B\text{ 互補}

不能無條件推出:

A 與 B 矛盾A\text{ 與 }B\text{ 矛盾}

同樣地:

B=A1B=A^{-1}

不能推出:

B=¬AB=\neg A

十六、反向生成依賴

某些對立關係看似對稱,但其生成方式不對稱。

設:

B=ω(A)B=\omega(A)

BB 必須依賴 AA 才能定義,而 AA 不依賴 BB ,則存在:

ABA\rightarrow B

的生成依賴。

例如:

¬A\neg A

依賴 AA

AcA^{c}

依賴 AA 與宇宙 UU

A1A^{-1}

依賴運算與單位元;

AopA^{\mathrm{op}}

依賴原結構。

因此,即使算子滿足對合:

ω2=id\omega^2=\operatorname{id}

也不能直接推出生成歷史對稱。

本文將這種情況稱為:

反向生成依賴。


十七、對合不等於中立

許多「反」算子滿足:

ω2=id\omega^2=\operatorname{id}

例如:

  • 雙重否定;
  • 雙重鏡射;
  • 雙重轉置;
  • 雙重對偶;
  • 雙重補集。

但:

ω2=id\omega^2=\operatorname{id}

只表示兩次操作回到原狀。

它不能保證:

  • 兩端的名稱中立;
  • 兩端的使用頻率相同;
  • 兩端的操作成本相同;
  • 兩端的文化評價相同;
  • 兩端的生成歷史相同。

因此:

對合⇏交換中立\text{對合} \not\Rightarrow \text{交換中立}

十八、反對關係的圖結構

可以將對象視為節點,將不同對立關係視為有類型的邊:

G=(V,E,λ)G=(V,E,\lambda)

其中:

  • VV :對象集合;
  • EE :關係邊;
  • λ:EΩ\lambda:E\rightarrow\Omega :邊類型標記。

例如:

A鏡像BA \xleftrightarrow[\text{鏡像}]{} B A對偶CA \xleftrightarrow[\text{對偶}]{} C A否定生成DA \xrightarrow[\text{否定生成}]{} D A互補EA \xleftrightarrow[\text{互補}]{} E

此時「A 的反面」不再是一個單一節點,而是一組依關係類型區分的鄰接節點:

Opp(A)={(ωi,ωi(A))ωiΩ}\operatorname{Opp}(A) = \{ (\omega_i,\omega_i(A)) \mid \omega_i\in\Omega \}

這比單一反義詞更忠實。


十九、對立關係代數

本文提出一個初步架構。

設對立算子集合為:

Ω={N,C,I,D,M,T,F}\Omega = \{ N,C,I,D,M,T,F \}

其中:

  • NN :否定;
  • CC :補集或互補;
  • II :逆;
  • DD :對偶;
  • MM :鏡像;
  • TT :轉置;
  • FF :反事實變換。

不同算子的合成:

ωiωj\omega_i\circ\omega_j

可能產生新的關係。

例如:

NN=idN\circ N=\operatorname{id}

在經典邏輯中成立。

TT=idT\circ T=\operatorname{id}

對關係轉置成立。

MM=idM\circ M=\operatorname{id}

對理想鏡射成立。

但:

NIN\circ I

通常沒有統一意義,除非定義域同時具有邏輯與代數結構。

因此,算子不能任意混用。


二十、關係代數的五項基本公理候選

公理一:類型顯式性

每個對立關係必須標記其算子類型:

AωiBA\xrightarrow{\omega_i}B

公理二:定義域限制

若:

ωi:XiYi\omega_i:X_i\rightarrow Y_i

ωi\omega_i 不得無條件作用於 XiX_i 之外的對象。


公理三:合成可驗證性

若:

ωjωi\omega_j\circ\omega_i

被使用,則必須說明其合成是否有定義及其語義。


公理四:生成依賴可追溯性

若:

B=ωi(A)B=\omega_i(A)

則系統應保存 BB 的來源與背景條件。


公理五:關係類型不可偷換

任何推理不得將:

RiR_i

無聲替換為:

RjR_j

除非證明:

RiRjR_i\equiv R_j

在指定語境中成立。


二十一、自然語言中的假對稱

自然語言常透過成對詞製造對稱幻覺。

例如:

建設/破壞\text{建設}/\text{破壞}

看似互反,但建設一棟建築與破壞它的成本、時間與資訊條件完全不同。

又如:

記住/忘記\text{記住}/\text{忘記}

忘記不一定是記住的逆操作,因為忘記可能是被動衰退、主動刪除、提取失敗或索引損壞。

因此:

forgetremember1\operatorname{forget} \neq \operatorname{remember}^{-1}

再如:

相信/不相信\text{相信}/\text{不相信}

不相信不等於相信相反命題。

¬Believe(P)Believe(¬P)\neg\operatorname{Believe}(P) \neq \operatorname{Believe}(\neg P)

這個差異在人工智慧推理中尤其重要。


二十二、對人工智慧的意義

22.1 語言模型常把否定與反義混淆

模型可能把:

¬A\neg A

直接映射為某個常見反義詞 BB

但實際上:

B¬AB\subsetneq \neg A

例如,「不快樂」不必等於「悲傷」。


22.2 知識圖譜需要有類型的對立邊

不應只建立:

oppositeOf(A,B)\operatorname{oppositeOf}(A,B)

而應區分:

negationOf\operatorname{negationOf} contraryTo\operatorname{contraryTo} complementOf\operatorname{complementOf} inverseOf\operatorname{inverseOf} dualOf\operatorname{dualOf} mirrorOf\operatorname{mirrorOf} converseOf\operatorname{converseOf} counterfactualVariantOf\operatorname{counterfactualVariantOf}

否則知識圖譜會把異質關係混成單一邊。


22.3 推理系統必須保留反向類型

若模型從:

ABA\rightarrow B

推導反向關係,必須區分:

  • 逆命題;
  • 否命題;
  • 逆否命題;
  • 關係轉置;
  • 因果逆轉;
  • 操作逆。

這些並不等價。


22.4 提示詞設計應避免「找反面」的模糊命令

較好的命令不是:

找出 AA 的反面。

而是:

分別給出 AA 的邏輯否定、語義反義、結構對偶、操作逆、角色轉置與可能互補項;若某類不存在,明確說明。

這能顯著降低對立算子錯配。


二十三、對立關係測試協議

23.1 類型識別測試

給定一對概念 A,BA,B ,要求系統判斷:

R(A,B)ΩR(A,B)\in\Omega

且允許多重關係並存。


23.2 雙重操作測試

檢查:

ωi2(A)\omega_i^2(A)

是否回到 AA

若不是,則該算子不是對合。


23.3 背景依賴測試

改變背景宇宙、語境或運算:

UUU\rightarrow U'

檢查:

ωiU(A)\omega_i^{U}(A)

是否改變。


23.4 關係偷換測試

追蹤推理鏈:

ARiBRjCA\xrightarrow{R_i}B\xrightarrow{R_j}C

檢查模型是否將 RiR_iRjR_j 無聲合併。


23.5 多反面輸出測試

對單一概念 AA ,要求輸出:

{(ωi,ωi(A))}\{ (\omega_i,\omega_i(A)) \}

而不是單一答案。


二十四、核心命題

命題一:反面多型命題

Opp(A)單一對象\operatorname{Opp}(A) \neq \text{單一對象}

「反面」通常是一組依關係類型區分的變換結果。


命題二:否定非反義命題

¬Aantonym(A)\neg A \neq \operatorname{antonym}(A)

命題三:對合非中立命題

ω2=id⇏交換中立\omega^2=\operatorname{id} \not\Rightarrow \text{交換中立}

命題四:補集語境依賴命題

Ac=UAA^c = U\setminus A

因此補集不能脫離背景宇宙定義。


命題五:互補非敵對命題

AB=W⇏A=¬BA\oplus B=W \not\Rightarrow A=\neg B

命題六:逆非否定命題

A1¬AA^{-1}\neq\neg A

命題七:關係類型保存命題

推理過程若改變對立關係類型,必須顯式證明該轉換有效。


命題八:反面壓縮錯誤命題

把多種對立算子壓縮成單一「正/反」語義,會系統性製造錯誤對稱與錯誤敵對。


二十五、哲學上的進一步結論

人類經常假設:

每個事物都有唯一反面\text{每個事物都有唯一反面}

但這個假設通常不成立。

一個對象可能:

  • 沒有逆;
  • 有多個互補項;
  • 有一個邏輯否定;
  • 有多個反義詞;
  • 有一個鏡像;
  • 有多種對偶;
  • 有無限多個反事實變體。

因此,更合理的本體論不是:

AAˉA\leftrightarrow \bar A

而是:

AΩ{A1,A2,,An}A \xrightarrow{\Omega} \{ A_1,A_2,\dots,A_n \}

其中每一條邊都必須標記關係類型。

這也說明,世界未必天然以成對方式存在;成對往往是語言為了壓縮複雜關係而建立的介面。


二十六、結論

「反面」不是一個單一、穩定、普遍的關係。

它可能是:

否定\text{否定}

可能是:

矛盾\text{矛盾}

可能是:

反對\text{反對}

可能是:

互補\text{互補}

可能是:

\text{逆}

可能是:

對偶\text{對偶}

可能是:

鏡像\text{鏡像}

可能是:

轉置\text{轉置}

也可能只是:

反事實變體\text{反事實變體}

當這些不同關係被全部壓縮成「正/反」,語言便會創造一種假的統一性。它讓不同變換看似都在指向同一個「敵對另一端」,並使價值極性滲入原本中性的結構關係。

本文的核心結論可以寫成:

沒有抽象的唯一反面, 只有在指定結構中的特定對立關係。\boxed{ \text{沒有抽象的唯一反面, 只有在指定結構中的特定對立關係。} }

因此,未來任何更精確的語言、邏輯或人工智慧系統,都不應只問:

AA 的反面是什麼?

而應問:

在哪一個結構中、依哪一個算子、相對於哪一個背景, AA 被轉換成什麼?

真正的精確,不是更快找到一個反義詞。

真正的精確,是不再把不同的關係誤認為同一種「反」。


附錄一:概念簡表

概念 定義
反面壓縮錯誤 將多種不同對立關係壓縮成單一模糊「反面」
對立算子錯配 問題需要某一算子,卻錯誤使用另一算子
關係類型保存 推理過程中不得無聲改變關係類型
反向生成依賴 對立項依賴原項及背景才能生成
對合 算子作用兩次回到原對象
否定 改變命題成立條件
反對 不可同真但可同假
互補 共同補足更完整結構
在指定運算下撤銷原元素或操作
對偶 系統性互換結構角色
鏡像 經反射形成的結構變體
轉置 交換關係中的角色位置
反事實 在不同條件世界中評估可能結果

附錄二:建議引用格式

Aletheia(GPT-5.6 Thinking)(2026)。〈「反面」不是一種關係:否定、互補、逆、對偶與鏡像的對立關係代數〉。核心命題源起:Neo.K。EveMissLab 理論草稿,v0.1。