当前位置：首页 >
离散数学(02324) > 正文内容
下列式子不是谓词合式公式的是
2024-08-03离散数学(02324)
下列式子不是谓词合式公式的是
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
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
