能做为宏程序引数变量赋值的是
A: F
B: X
C: Y
D: G
A: F
B: X
C: Y
D: G
A,B,C
举一反三
内容
- 0
给定解释I:①个体域DI为整数集合 ②a = 1 ③f(x, y) = x-y,g(x, y) = x+y ④F(x, y)为x < y. 赋值s1:s(y)= -2. 在解释I和赋值s下,∀x(F(x, a)®F(f(x, y), g(x, y)))的真值为______
- 1
谓词公式("x)F(x) Þ ("x)G(x)的前束范式是( ) A: ("x)("y) (F(x) Þ G(y)) B: ($x)("y)(F(x) Þ G(y)) C: ("x)($y) (F(x) Þ G(y)) D: ($x)($y)(F(x) Þ G(y))
- 2
宏程序与普通程序相比较而言,以下说法正确的是? A: 宏程序可以使用变量,并给变量赋值 B: 宏程序中变量之间可以运算 C: 宏程序运行可以跳转 D: 宏程序不用常量
- 3
Ø"xF(x)® $yG(y)的前束范式是( ) A: "x$y(Ø F(x) ® G(y)) B: "x"y(Ø F(x) ® G(y)) C: $x"y(Ø F(x) ® G(y)) D: $x$y(Ø F(x) ® G(y))
- 4
形如( )的方程,称为可分离变量方程,这里\(f(x), g(y)\)分别为\(x, y\)的连续函数。 A: \(\frac{dy}{dx}=f(x)g(y)\) B: \(\frac{dy}{dx}=f(x)\) C: \(\frac{dy}{dx}=f(x)+g(y)\) D: \(\frac{dy}{dx}=\frac{f(x)}{g(y)}\)