$y"x( →P(x, y)) 是谓词公式。
错误
举一反三
- 谓词公式∃y(∀x(P(x,y))→P(x))中y是____变元
- 下面公式（）不是谓词公式 A: P B: P（x）∨Q（y）→R（x） C: ∀P（x）∧R（x，y） D: ∀x（R（x）→P（x，y））
- 下列哪一个谓词公式可以表示：有人每天下午都去打篮球。定义谓词如下：P(x)：x是人B(x)：x打篮球A(y)：y是下午 A: (∃x )(∀y)(A(x)→B(y)∧P(y)) B: (∀x )(∃y)(A(y)→B(x)∧P(x)) C: (∃x )(∀y)(A(y)→B(x)∨P(x)) D: (∃x )(∀y)(A(y)→B(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: ∃z(∀x∃y∨P(z)) C: ∃x(P(x)∧P(y)) D: ∃y(∀x(P(x,y))→∀x(P(x)))
内容
- 0
谓词公式"xP(x)Ù$y(ØP(y))是矛盾式。
- 1
下列哪个不是谓词公式() 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))
- 2
谓词公式∀x（P（x）∨∃y R（y））→Q（x）中量词∀x的辖域是__________
- 3
谓词公式∀x(P(x)∨∃yR(y))→Q(x)中的 x是()
- 4
谓词公式”x（P（x）Ú $yR（y））→Q（x）中量词”x的辖域是（） A: P（x）Ú $yR（y） B: P（x） C: $yR（y） D: （P（x）Ú $yR（y））→Q（x）