首页
谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。
2024-08-03 23:50:27
离散数学(02324)
谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。
【正确答案】:P(x)⋁∃yF(y)
上一篇:
谓词公式∀x(G(x)Ⅴ∃yT(y))→Q(x)中变元y是______。
下一篇:
用CP规则证明下面有效推理。前提:P→(Q→S),P⋁¬R,Q结论:R→S