问题描述：
[多选]
在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A．全称量词消去规则
B．全称量词引入规则
C．存在量词消去规则
D．存在量词引入规则
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(18.227.209.214)
- 热门题目: 1.一个数组中的所有元素可以具有 2.双耳分听是注意研究中使用的范 3.“倾听”并不等于“听”，（）