设个体域D={a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b).( ) |
439| 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 | ||
相关帖子
|
||
发表于 2022-7-27 18:50:20
|
显示全部楼层
| ||
发表于 2022-7-27 19:16:12
|
显示全部楼层
| ||
发表于 2022-7-27 23:36:02
|
显示全部楼层
| ||
发表于 2022-7-28 05:00:09
|
显示全部楼层
| ||
发表于 2022-7-28 10:40:21
|
显示全部楼层
| ||
发表于 2022-7-28 12:26:57
|
显示全部楼层
| ||