设个体域D={a, b},则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).( ) |
94| 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 19:20:50
|
显示全部楼层
| ||
发表于 2022-7-28 10:24:29
|
显示全部楼层
| ||
发表于 2022-7-28 15:00:06
|
显示全部楼层
| ||
发表于 2022-7-29 13:40:58
|
显示全部楼层
| ||
发表于 2022-7-31 03:54:33
|
显示全部楼层
| ||
发表于 2022-8-1 05:43:43
|
显示全部楼层
| ||