# T 最小完備可問：問算子快速表

## 候選六生成元

| 算子 | 核心問題 | 例子 |
|---|---|---|
| \(\mathbf B\) | Being / Status | T 是不是 T？ |
| \(\mathbf D\) | Difference | 兩個 T 差在哪？ |
| \(\mathbf G\) | Ground / Why | 為什麼它是 T？ |
| \(\mathbf F\) | Formation / Change | T 怎麼變成／不再是 T？ |
| \(\mathbf C\) | Context / Coordinate | 在哪個時間、observer、namespace 下是 T？ |
| \(\mathbf O\) | Operation / Consequence | T 做什麼、造成什麼？ |

## Query Normal Form

\[
q
=
\mathbf Q
(
X_{\mathcal S_n}\cdots X_{\mathcal S_1}T;
\theta
)
\]

## 常用 X-spaces

- \(X_{\mathrm{Time}}\)
- \(X_{\mathrm{Name}}\)
- \(X_{\mathrm{Observer}}\)
- \(X_{\mathrm{Namespace}}\)
- \(X_{\mathrm{Institution}}\)
- \(X_{\mathrm{Cause}}\)
- \(X_{\mathrm{Counterfactual}}\)
- \(X_{\mathrm{World}}\)
- \(X_{\mathrm{Scale}}\)
- \(X_{\mathrm{Part}}\)
- \(X_{\mathrm{Boundary}}\)
- \(X_{\mathrm{Model}}\)
- \(X_{\mathrm{Memory}}\)
- \(X_{\mathrm{Recovery}}\)
- \(X_{\mathrm{Fork}}\)
- \(X_{\mathrm{Language}}\)

## 主研究問題

\[
X_iX_jT
\stackrel{?}{\equiv}
X_jX_iT
\]

\[
X_i^2T
\stackrel{?}{\equiv}
X_iT
\]

\[
\mathcal Q_{\min}^{?}
\stackrel{?}{=}
\{\mathbf B,\mathbf D,\mathbf G,\mathbf F,\mathbf C,\mathbf O\}.
\]