问题描述：
[多选]
在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A．全称量词消去规则
B．全称量词引入规则
C．存在量词消去规则
D．存在量词引入规则
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(13.58.214.43)
- 热门题目: 1.根轨迹是系统所有（）的轨迹曲 2.差压式流量计的工作原理是（） 3.系统稳定的充要条件是闭环控制