设个体域D={a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b).( ) |
295| 6
|
上一篇: 设个体域D={a, b},则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).( ) 下一篇: 设个体域D是整数集合,则命题的真值是( ).ddzx/N601/jiaoyu/lssx/images/xk/5/19-1.png | ||
相关帖子
|
||
| ||
| ||
| ||
| ||
| ||