下列公式中普遍有效的是： A: "x$yRxy→$y"xRxy B: $y"xRxy→"x$yRxy C: "x$yRxy→$x"yRxy D: $x"yRxy→"x$yRxy

2022-07-29

下列公式中普遍有效的是：
A: "x$yRxy→$y"xRxy
B: $y"xRxy→"x$yRxy
C: "x$yRxy→$x"yRxy
D: $x"yRxy→"x$yRxy

答案：

B

0
取个体域为整数集，下列公式为真的有？ A: ∃x∃y(x⋅y=2) B: ∃y∀x(x⋅y=0) C: ∀x∀y(x⋅y=y) D: ∀x(x⋅y=x)
1
下列公式中变元y是自由变元的是（ )。 A: ∃y(∀xP(x,y)→R(x,y)) B: ∀xQ(x)∧∀y∃xA(y,x) C: ∃xP(y)∨∀xQ(x,y) D: ∀yC(x,y)∧∀x﹁Q(x)
2
下列公式中存在变元 x 是自由变元的为 A: ∃xP(x)→∀xQ(x) B: ∃x∀yC(x,y)∨﹁P(x)→∀x﹁Q(x) C: ∀xQ(x,y)∧ ∃xA(x,y) D: ∀xR(x,y)∧∃x(P(x,y)∧Q(x))
3
下列函数式中与X + Y相等的是（） A: X + X’ · Y B: X + X· Y’ C: X · Y + X + Y D: X + X’ · Y +Y
4
公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是（P(x)→R(x))∧($y)Q(x,y) 。