下列关于计算机病毒的叙述中，正确的是

A．计算机病毒的特点之一是具有免疫性

B．计算机病毒是一种由逻辑错误产生的小程序

C．反病毒软件必须随着新病毒的出现而升级，提高查、杀病毒的功能

D．感染过计算机病毒的计算机具有对该病毒的免疫性

法律推理的方式有( )两大类。

A．归纳推理方法

B．辩证推理方法

C．演绎推理方法

D．形式推理方法