在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。

在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A.全称量词消去规则
B.全称量词引入规则
C.存在量词消去规则
D.存在量词引入规则
正确答案：全称量词引入规则；存在量词消去规则