在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A.全称量词消去规则
B.全称量词引入规则
C.存在量词消去规则
D.存在量词引入规则
正确答案：全称量词引入规则；存在量词消去规则
- 上一篇：倒推的方法在证明（）。
- 下一篇：审计学专业的主要职业发展方向有哪些（）
在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A.全称量词消去规则
B.全称量词引入规则
C.存在量词消去规则
D.存在量词引入规则
正确答案：全称量词引入规则；存在量词消去规则