公式(∀x)[P(x)∧Q(x,A)→(∃y)[E(x,y)∨S(y)]]中,∀x的辖域为(),∃y的辖域为()A．P(x); R(x, y)B．P(x) ꓥ Q(x, A); R(x, y)C．P(x) ꓥ Q(x, A) → (∃y)[R(x, y) ꓦ S(y)]; R(x, y)D．P(x) ꓥ Q(x, A) → (∃y)[R(x, y) ꓦS(y)]; R(x, y) ꓦ S(y)
公式(∀x)[P(x)∧Q(x,A)→(∃y)[E(x,y)∨S(y)]]中,∀x的辖域为(),∃y的辖域为()
A、P(x); R(x, y)
B、P(x) ꓥ Q(x, A); R(x, y)
C、P(x) ꓥ Q(x, A) → (∃y)[R(x, y) ꓦ S(y)]; R(x, y)
D、P(x) ꓥ Q(x, A) → (∃y)[R(x, y) ꓦS(y)]; R(x, y) ꓦ S(y)
发布时间：2025-08-02 17:07:12
