下列哪一个谓词公式可以表示：有人每天下午都去打篮球。定义谓词如下：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 )(∀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: 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))
- 对谓词公式（∀x)((∃y)﹁P(x，y)∨(∃y)( Q(x，y) ∧﹁R(x，y)))化简可以得到包含哪几项的子句？ A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,g(y))