![](https://lstatic.shangxueba.com/sxbzda/h5/images/m_q_title.png)
[单选题]
消去存在量词时,当()时,用skolem函数
A.存在量词未出现在全称量词的辖域内时
B.存在量词出现在全称量词的辖域内时
C.以上情况都需要
D.以上情况都不需要
![](https://lstatic.shangxueba.com/sxbzda/h5/images/tips_org.png)
A.存在量词未出现在全称量词的辖域内时
B.存在量词出现在全称量词的辖域内时
C.以上情况都需要
D.以上情况都不需要
第1题
A.消去“蕴含”连结词
B.减少“非”连结词的辖域
C.对变量标准化
D.消去存在量词
第8题
A、个
B、排
C、列
D、佾
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!