下列概念的概括，正确的是（）。

• A、“鼠标”概括为“个人电脑”
• B、“北京”概括为“中国”
• C、“番茄”概括为“西红柿”
• D、“工具书”概括为“书”

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

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

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