在下列三段论推理式中，遵守三段论规则的有效式是（）。

• A、MIP，SAM├SIP
• B、PAM，SEM├SAP
• C、MEP，MAS├SOP
• D、PIM，MAS├SIP
• E、MOP，SAM├SOP

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

“鲁迅的作品不是一天可以读完的”和“《祝福》是鲁迅的作品”中，上述判断中“鲁迅的作品”（）。

• A、前者是非集合概念，后者是集合概念
• B、都是非集合概念
• C、前者是集合概念，后者是非集合概念
• D、都是集合概念