下列程序的运行结果是 【12】 。
# include＜iostream. h＞
class Apublic:
virtual void use()cout ＜＜ "in A\n";
；
class B:public Apublic:
virtual void use()cout ＜＜ "in B\n"；
;
class C: public Bpublic:
virtual void use() cout＜＜ "in C\n";
； void main() A *obj；
obi=new C;
obj-＞use()
delete obj；

选言推理：指前提中有一句是选言判断，然后根据选言判断及选言肢间的关系推出结论的推理。根据上述定义，下列属于选言推理的是（）

A.因为宇宙间的一切物质都处于不断运动变化的过程中，所以太阳也是在运动的

B.所有的A都属于B，所有的C都属于A，所以所有的C都属于B

C.如果一个企业采用了科学的管理方法，那么它的劳动生产率就会提高。最近，某发电公司的劳动生产率提高了，所以该发电公司一定采用了科学的管理方法

D.要么社会存在决定社会意识，要么社会意识决定社会存在。社会发展史充分证明，绝不是社会意识决定社会存在，所以，一定是社会存在决定社会意识