设个体域D={a，b}与公式∃x A(x)∧∀xB(x)等价的命题公式是( )
A、(A(a)∧A(b)) ∧(B(a)∧B(b))
B、(A(a)∨A(b)) ∧(B(a) ∧B(b))
C、(A(a)∨A(b))∨(B(a) ∨B(b))
D、(A(a)∧B(a)) ∧(A(b) ∨B(b))
发布时间：2024-10-09 13:15:46
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：B
相关试题
- 1.设个体域D={a，b}与公式∃x A(x)∧∀xB(x)等价的命题公式是( )
- 2.与谓词演算公式Ø ( "x) ( "y) ( P (x, y)Ú Q (x, y) )等价的公式是( )
- 3.公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。
- 4.(5分) 试求公式 x((∀yX(x,y))( zY(z) ∧Z(x))
- 5.设函数f(x)为可导函数，当 |x|很小时，则近似公式()成立．
- 6.公式$x(Ø$yP(x,y)®($zQ(z)®R(x)))的前束范式为$x$y$z(P(x,y)ÚØQ(z)ÚR(x))
- 7.X与Y独立和X与Y不相关是等价的.
- 8.① (∀x)(A(x)⋀B(x))⟹(∀x)A(x)⋀(∀x)B(x) ② (∀x)(A(x)⋁B(x))⟹(∀x)A(x)⋁(∀x)B(x)③ (∃x)(A(x)⋁B(x))⟹(∃x)A(x)
- 9.竖盘指标差x的公式为
- 10.公式"x ( F(x,y,z ) → "y ( G(x,y,z) → "z H(x,y,z) ) )的前束范式为
