设个体域D={a, b},则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).( ) |
101| 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).( ) | ||
相关帖子
|
||
发表于 2022-7-27 22:04:19
|
显示全部楼层
| ||
发表于 2022-7-27 23:52:05
|
显示全部楼层
| ||
发表于 2022-7-28 06:43:01
|
显示全部楼层
| ||
发表于 2022-7-28 19:17:47
|
显示全部楼层
| ||
发表于 2022-7-30 11:14:56
|
显示全部楼层
| ||