公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(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-03-19 01:47:06
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)