1. 再次提醒各位注意先存在后任意，存在不能用变元替换
2.涉及双量词问题,一定要联系空间想象（坐标系）
3.等值式判断
- 想一致性（任意–且，存在–或）
- 区分跳跃项和连续项，或只要连续项为1总体为1；且只有总体为1才能保证连续项为1
- 易错点–每步转换务必把否定提到量词里面判断
此题选ABD
离散数学复习--谓词逻辑
猜你喜欢
转载自blog.csdn.net/qq_39380230/article/details/105166971
今日推荐
周排行