结构推理 下列句子各表示什么模态命题？请写出它们的逻辑式： 　1．明天可能要下雨。 　2．甲肯定不去天津。
【正确答案】1．可能肯定命题，逻辑式： S可能是P，简写为： 可能p，符号式为：◇p。 　2．必然否定命题，逻辑式： S必然不是P， 简写为： 必然非p，符号为□p。
【答案解析】