涉及量化的证明需要利用()。
A:真值函项规则
B:量化规则
C:量化等值规则
D:归谬法
出自:哲学