逻辑学主要研究推理的有效性问题。所谓推理的有效性，指的是_____有效性。

所有聪明人都是近视眼，我近视得很厉害，所以我很聪明。下列揭示了上述推理明显错误的是（）。

• A、所有的鸡都是尖嘴的，这只总在树上呆着的鸟是尖嘴的，因此它是鸡
• B、所有的猪都有四条腿，但这种动物有八条腿，所以它不是猪
• C、小李十分高兴，所以小李一定长得很胖，因为高兴的人都长得很胖
• D、所有的天才都高度近视，我一定是高度近视，因为我是天才

“所有S是P”和“所有M是N”这两个逻辑公式（）。

• A、变项和逻辑常项均相同
• B、逻辑常项不同但变项相同
• C、变项不同但逻辑常项相同
• D、变项和逻辑常项均不同