下列式子不是谓词合式公式的是

下列式子不是谓词合式公式的是
A、(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z)
B、(∀x)(∀y)P(x,y)⋁Q(x,z)⋀(∃x)P(x,y)
C、

D、(∃x)P(x)⋀Q(y,z)
【正确答案】：C

↑