面向对象程序设计思想的主要特征中不包括

A．继承性

B．功能分解，逐步求精

C．封装性和信息隐藏

D．多态性

关于法律推理与一般推理的对比中，下列说法正确的是：

A．法律推理是一种寻求正当性证明的推理，它所要回答的是规则的正确含义及是否正当的问题等；而一般的推理是一种寻找和发现真相和真理的推理
B．法律推理要受现行法律的约束，只有法律的正式性渊源才能作为推理的前提，而非正式渊源则不能作为法律推理的前提；一般推理则只要符合逻辑性规律即可
C．祛律推理是一种实践理性，人们总是寻求尽量减少被视为专断和非理性推理的方法；而一般的推理则只是理论性的
D．在一般的审判活动中的法律推理，既要遵守法律规则，又要遵守一般推理的逻辑规则。因此法律推理限制了法官的自由裁量权