问题描述：
[多选]
在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A．全称量词消去规则
B．全称量词引入规则
C．存在量词消去规则
D．存在量词引入规则
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(3.145.105.116)
- 热门题目: 1.河内塔任务是注意研究使用的范 2.弯曲变形时，横截面中性轴上的 3.二点透视图，也就是平行透视图