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

下列式子不是谓词合式公式的是
A、（（x）P（x）→R（y）
B、（（x）┐P（x）（（（x）（P（x）→Q（x））
C、（（x）（（y）（P（x）∧Q（y））→（（x）R（x）
D、（（x）（P（x，y）→Q（x，z））∨（（z）R（x，z）
【正确答案】：B