涉及量化的证明需要利用（）。

A、真值函项规则

B、量化规则

C、量化等值规则

D、归谬法

“张某不是本案作案人。因为，如果张某是本案作案人，则他必定是A型血。经查，张某是B型血，所以，张某不是本案作案人。”这个证明采用的是（）。

A、直接证明

B、归谬法

C、淘汰法

D、反证法

引用比较有代表性的事例使得论题得证的方法是（）

A、反证法

B、归谬法

C、分解法

D、例证法