单项选择题
消去存在量词时，当（）时，用skolem函数。
A.存在量词未出现在全称量词的辖域内时B.存在量词出现在全称量词的辖域内时C.以上情况都需要D.以上情况都不需要
单项选择题 以下不是产生式系统组成部分的是（）
单项选择题 在基于规则的正向演绎系统中，把事实表示为（）
单项选择题 运用消解推理规则的前提是（）
