下列式子不是谓词合式公式的是
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