下列公式中()不是命题。
A: (x)P(x)
B: (x)P(x)
C: (x)(P(x)p(y))
D: (x)(y)(P(x)p(y))
A: (x)P(x)
B: (x)P(x)
C: (x)(P(x)p(y))
D: (x)(y)(P(x)p(y))
举一反三
- 贝叶斯公式是下列哪一个 A: P(y│x)=(P(x│y)P(x))/P(y) B: P(y│x)=(P(x│y))/P(x)P(y) C: P(y│x)=(P(x│y)P(y))/P(x) D: P(y│x)=P(x)P(y)/(P(x│y) )
- 下列哪个不是谓词公式() A: ∀x(P(x)→Q(x)) B: ∃z(∀x∃y∨P(z)) C: ∃x(P(x)∧P(y)) D: ∃y(∀x(P(x,y))→∀x(P(x)))
- 下列哪个不是谓词公式() A: ∀x(P(x)→Q(x)) B: ∃z(∀x∃y∨P(z)) C: ∃x(P(x)∧P(y)) D: ∃y(∀x(P(x,y))→∀x(P(x)))
- 下列哪个不是谓词公式() A: ∀x﹁(P(x)→Q(x)) B: ∃y(∀x(P(x,y))→∀x(Q(x))) C: ﹁∃x(P(x)∨P(y)) D: ∃z∀x(∃y∨P(z))
- 下面公式()不是谓词公式 A: P B: P(x)∨Q(y)→R(x) C: ∀P(x)∧R(x,y) D: ∀x(R(x)→P(x,y))