用真值表来验证（ p→?q）∧q→?p 是否为有效式。

所有名词都是实词，动词不是名词，所以，动词都不是实词。以下哪项是对上述推理的正确评判?（）。

• A、推理正确
• B、推理错误，偷换概念
• C、推理错误，中项两次不周延
• D、推理错误，大项不当周延

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

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