举一反三
- 给定解释I如下. a) 个体域D=N. b) 特定元素a=2. c) N上的函数f(x,y)=x+y,g(x,y)=x*y. d) N上的谓词F(x,y):x=y. 给出下列各式在I下的解释, 并讨论它们的真值. 1 ∀x F(g(x,a),x) 2 ∀x∀y ( F(f(x,a),y)→ F(f(y,a),x ) 3 ∀x∀y∃z F(f(x,y),z) 4 ∃x F(f(x,x),g(x,x))
- 给定解释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)))的真值为______
- 给定解释I如下. a) 个体域D=N. b) 特定元素a=2. c) N上的函数f(x,y)=x+y,g(x,y)=x*y. d) N上的谓词F(x,y):x=y. 给出下列各式在I下的解释, 并讨论它们的真值. 1 2200x F(g(x,a),x) 2 2200x2200y ( F(f(x,a),y)2192 F(f(y,a),x ) 3 2200x2200y2203z F(f(x,y),z) 4 2203x F(f(x,x),g(x,x))
- 中国大学MOOC: 给定解释 I 为：论域 D=正整数集合，f(x, y)=x+y，谓词F(x, y)表示x=y，a=2。那么在这个解释下，($x)(y)(z)F(f(y, z), x) 为真。
- 【单选题】设函数 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 )
内容
- 0
公式“∀xF(x)→∃yG(x,y)”的前束范式是 A: ∃x∃y(F(x)→G(z,y)) B: ∀x∃y(F(x)→G(z,y)) C: ∃x∀y(F(x)→G(z,y)) D: ∀x∀y(F(x)→G(z,y))
- 1
在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z))中，("x)的辖域是（） A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z)) D: ("x)(F(x)
- 2
【单选题】对任意实数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 )
- 3
判断下列关系模式可以达到的范式级别：1）R（X，Y，Z）F={XY→Z}2）R（X，Y，Z）F={Y→Z，XZ→Y}3）R（X，Y，Z）F={Y→Z，Y→X，X→YZ}4）R（X，Y，Z）F={X→Y，X→Z}
- 4
函数f（x）=ax（a＞0，且a≠1），对于任意的实数x，y，都有（）。 A: f(xy)=f(x)·f(y) B: f(xy)=f(x)+f(y) C: f(x+y)=f(x)·f(y) D: f(x+y)=f(x)+f(y)