“凡是老虎都是要吃人的。”令T():x是老虎,E():x要吃人,在谓词逻辑中符号正确的是()。
A: x(T(x)E(x))
B: x(T(x)E(x))
C: x(T(x)E(x))
D: x(T(x)E(x))
A: x(T(x)E(x))
B: x(T(x)E(x))
C: x(T(x)E(x))
D: x(T(x)E(x))
举一反三
- 谓词公式"xP(x,y)Ù$t(Q(t,z)→"x$yR(x,y,t))中量词$t的辖域是（） A: $t(Q(t,z)→"x$yR(x,y,t)) B: Q(t,z)→"x$yR(x,y,t) C: "x$yR(x,y,t) D: Q(t,z)
- 下列哪组语句可以将变量X、Y的值互换: A: X=Y：Y=X B: T=X：Y=X：X=T C: T=Y：Y=X：X=T D: X=T：T=X：Y=T
- 在程序设计中，常用到交换变量x和y值的算法，正确的算法是（ ）。 A: t=x；y=x；y=t B: x=y；y=t；t=x C: x=y；y=x D: t=x；x=y；y=t
- 在程序设计中交换变量x和y的值，应使用的算法描述是（ ）。 A: t←x y←x y←t B: x←y y←t t←x C: x←y y←x D: t←x x←y y←t
- 下列可以将变量x、y的值互换的是（）。 A: x=y:y=t:t=x B: x=t:t=y:y=x C: t=x:x=y:y=t D: x=y:y=x