给定解释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)))的真值为______

2022-06-07

答案：

0;假

0
以下哪项是前束范式 A: "x"y(F(x) ÙF(y) ®G(y,x)) B: "x (F(x) Ù$y(F(y) ®G(y,x))) C: "x (F(x) Ù F(y) ®$y G(y,x)) D: "x (F(x) Ù "y F(y) ® G(y,x))
1
【单选题】对任意实数x 1 , y 1 , x 2 , y 2 , x 1 < x 2 , y 1 < y 2 , 分布函数P{x 1 <X≤x 2 , y 1 <Y≤y 2 }=? A. F(x 2 , y 2 )+ F(x 1 , y 1 )+ F(x 1 , y 2 )+ F(x 2 , y 1 ) B. F(x 2 , y 2 )- F(x 1 , y 1 )+ F(x 1 , y 2 )- F(x 2 , y 1 ) C. F(x 2 , y 2 )+ F(x 1 , y 1 )- F(x 1 , y 2 )- F(x 2 , y 1 ) D. F(x 2 , y 2 )- F(x 1 , y 1 )- F(x 1 , y 2 )+ F(x 2 , y 1 )
2
【单选题】设函数 f ( x , y ) 在 x 2 + y 2 ≤ 1 上连续,使成立的充分条件是 A. f ( － x , y )= f ( x , y ) f ( x , － y )= － f ( x , y ) B. f ( － x , y )= f ( x , y ) f ( x , － y )= f ( x , y ) C. f ( － x , y )= － f ( x , y ) f ( x , － y )= － f ( x , y ) D. f ( － x , y )= － f ( x , y ) f ( x , － y )= f ( x , y )
3
谓词公式("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))
4
"x F(x,y) → ¬ $y G(x,y)的前束范式 A: $x$y（F(x,m) ®Ø G(t,y)） B: $x∀y（F(x,m) ®Ø G(t,y)） C: ∀x$y（F(x,m) ®Ø G(t,y)） D: ∀x$y（F(x,m) ® ØG(t,y)）

给定解释I：①个体域DI为整数集合 ②a = 1 ③f(x, y) = x-y，g(x, y) = x+y ④F(x, y)为x &lt; y. 赋值s1：s(y)= -2. 在解释I和赋值s下，∀x(F(x, a)®F(f(x, y), g(x, y)))的真值为______