结构推理 下列句子各表示什么模态命题？请写出它们的逻辑式： 　1．B星系中必定没有低级生物。 　2．A球队获得这场球的胜利不是不可能的。
【正确答案】1．必然否定命题，逻辑式：S必然是非P，简写为： 必然非p，符号式为：□p。 　2．可能肯定命题，逻辑式： S可能是P，简写为： 可能p，符号式为：◇p。
【答案解析】