单项选择题
A.∀x(P(x)∨∃yR(y)) B.P(x) C.P(x)∨∃yR(y) D.P(x),Q(x)
A.P B.P(x)∨Q(y)→R(x) C.∀P(x)∧R(x,y) D.∀x(R(x)→P(x,y))