以“所有P是M”、“所有S不是M”为大小前提进行三段论推理,可必然推出（）

• A、所有S不是P
• B、所有S是P
• C、有S是P
• D、有S不是P
• E、没有S不是P

“王兰和李平是朋友;李平和张云是朋友;所以，王兰和张云是朋友。”这是（）

• A、正确的传递关系推理
• B、错误的传递关系推理
• C、三段论推理
• D、模态推理

“必然p”和“必然非p”之间具有一些（）关系。