📌 📄 内容摘要:
郑御白 (@SCzheng) 在 o1yes,o1mini no的又一道题目(经测试gemini两个新模型和deepseek深度思考也可以答对) 中发帖
代换的复合
定义：设
θ = {t₁/x₁, t₂/x₂, …, tₙ/xₙ}
λ = {u₁/y₁, u₂/y₂, …, uₘ/yₘ}
是两个代换，则此两个代换的复合也是一个代换，它是从
{t₁λ/x₁, t₂λ/x₂, …, tₙλ/xₙ, u₁/y₁, u₂/y₂, …, uₘ/yₘ}
中删去如下两种元素：
tᵢλ/xᵢ 当 tᵢλ = xᵢ
uⱼ/yⱼ 当 yⱼ ∈ {x₁, x₂, …, xₙ}
后剩下的元素所构成的集合，记为 θ°λ。
✖ 注：tᵢλ表示对 tᵢ 适用 λ 代换。实际上 θ°λ 就是对一个公式先适用 θ 代换，然后再适用 λ 代换。
q={f(y)/x,z/y},
p={a/x,b/y,y/z},
则 q∘p=（ ）
答案:
{ f(b) ∕ x , y ∕ z }
大伙可以多测试几遍.
o...
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/332731/1
─────────────────────────────
📢 来源：LINUX DO
