谓词公式∀x(G(x)Ⅴ∃yT(y))→Q(x)中变元y是______。

2024-08-03 23:50:30
离散数学(02324)
1

谓词公式∀x(G(x)Ⅴ∃yT(y))→Q(x)中变元y是______。
【正确答案】：约束变元

上一篇：公式(∃x)P(x,y)→∀zQ(x,z))的约束变元为___________,自由变元为___________。

下一篇：谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。