消去存在量词时，当（ ）时，用skolem函数。
A、存在量词未出现在全称量词的辖域内时
B、存在量词出现在全称量词的辖域内时
C、以上情况都需要
D、以上情况都不需要
发布时间：2023-08-01 23:04:33
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜搜题库网 官方老师解答 )
答案：
