涉及量化的证明需要利用()。
A、真值函项规则
B、量化规则
C、量化等值规则
D、归谬法
引用比较有代表性的事例使得论题得证的方法是()
A、反证法
B、归谬法
C、分解法
D、例证法
“张某不是本案作案人。因为,如果张某是本案作案人,则他必定是A型血。经查,张某是B型血,所以,张某不是本案作案人。”这个证明采用的是()。
A、直接证明
C、淘汰法
D、反证法