根据推理前提所含判断数目的不同，可以把推理分为直接推理和（）两类。

判断的基本特征有（）。

• A、有内涵
• B、有所断定
• C、有外延
• D、有真有假
• E、或有效或无效

有些数学理论没有应用价值，所以，有些理论虽然在逻辑上严谨但是没有应用价值。以下能够保证上述推理成立的判断是（）。

• A、所有在逻辑上严谨的理论都是数学理论
• B、有些数学理论在逻辑上是严谨的
• C、所有的数学理论在逻辑上都是严谨的
• D、有些逻辑上严谨的理论是数学理论