公式∀x(A(x)⋀∃yB(y))→C(x)中∃y的辖域是（）。

2024-08-03 23:42:44
离散数学(02324)

公式∀x(A(x)⋀∃yB(y))→C(x)中∃y的辖域是（）。
【正确答案】：B(y)

上一篇：设A={1,2,3},R={< 1,2 >,< 2,2 >,< 3,2> },S={< 2,1 >},则(R°S)-1=（）。

下一篇：设论域的元素为a和b,则由消去量词可得∀xA(x)⋀∃yB(y)⇔（）。