第二章单元测试
- 设P(u)：u是运动员，Q(u)：u是大学生。则命题“存在运动员是大学生”被翻译为（ ）。
- 设P和Q是谓词，则下列字符串（ ）是一元命题函数。
- 下列字符串（ ）是谓词公式。
- 对于公式¬∃x(¬P(u, x)→∀yQ(y))，∃x的作用域是（ ）。
- 公式¬∃x(¬P(u, x)→∀yQ(y))的前束范式是（ ）。
- 由两个前提∀x(A(x)→B(x))和∀x(¬B(x))不能推理得到（ ）。
A:∃x(P(x)∨Q(x)) B:∃x(P(x)∧Q(x)) C:∃x(P(x)→Q(x)) D:∃xQ(x)
答案:∃x(P(x)∧Q(x))
A:∃xQ(x) B:P(u, v)∧Q(u) C:∃x(P(u, x)∨Q(u)) D:P(u, u)→Q(v)
答案:∃x(P(u, x)∨Q(u))
A:P(u, v)∧Q(u) B:∃xP(x, x) C:¬P(u, u)→Q(v) D:∃x∀xP(x, x)
答案:∃xP(x, x)
A:P(u, x)→∀yQ(y) B:¬P(u, x)→∀yQ(y) C:¬P(u, x) D:P(u, x)
答案:¬P(u, x)→∀yQ(y)
A:∀x∃y (¬P(u, x)∧¬Q(y)) B:∀x∀y (¬P(u, x)∧¬Q(y)) C:∀x∃y (¬P(u, x)→Q(y)) D:∀x∀y (¬P(u, x)→Q(y))
答案:∀x∃y (¬P(u, x)∧¬Q(y))
A:¬A(u) B:¬∀xA(x) C:∀x(¬A(x)) D:∃xA(x)
答案:∃xA(x)
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
