模态逻辑问题:以下两个句子是否相互矛盾?