设个体域D={a, b},则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).( ) |
191| 6
|
上一篇: 设个体域D={a, b, c},那么谓词公式消去量词后的等值式为( ).ddzx/N601/jiaoyu/lssx/images/xk/5/image0 下一篇: 设个体域D={a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b).( ) | ||
相关帖子
|
||
| ||
| ||
| ||
| ||