101223 第十一章练习题参考答案.ppt

P209 一、写出下列模态判断的逻辑形式，并讨论其负判断： 【提示】：先明确原判断，写出判断形式，再写出负判断。 设原判断p—这样的情况会出现， 则模态判断的逻辑形式为： ◇p。负判断为： ?◇p。即：这样的情况不可能出现。 设原判断p—β星系中有低级生物，则模态判断的逻辑形式为： □?p。其负判断为： ?□?p。即：β星系中不一定没有低级生物。 设原判断p—张华知道后果的严重性， 则模态判断的逻辑形式为： ◇p。其负判断为： ?◇p。即：张华不可能知道后果的严重性。 P209 一、写出下列模态判断的逻辑形式，并讨论其负判断： 【提示】：先明确原判断，写出判断形式，再写出负判断。 设原判断p—正确的推理是合乎逻辑的， 则模态判断的逻辑形式为： □p。其负判断为?□p。即：正确的推理不一定是合乎逻辑的。 设原判断p—未成年人具有辨别是非的能力， 则模态判断的逻辑形式为： ◇?p。其负判断为： ?◇?p。即：未成年人不可能不具有辨别是非的能力。 设原判断p—反动势力会自动退出历史舞台，则模态判断的逻辑形式为： □?p。其负判断为： ?□?p。即：反动势力不一定不会自动退出历史舞台。 P210 二、已知下列模态判断为真，请根据模态方阵分析相关判断的真假： 【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及实然判断。 设原判断p—太阳从东方升起， 则模态判断的逻辑形式为：□p。根据模态逻辑方阵，已知□p为真，则： □?p（太阳必定不从东方升起）为假， ◇p（太阳可能从东方升起）为真，◇?p（太阳可能不从东方升起）为假。 设原判断p—执法者执法犯法， 则模态判断的逻辑形式为： ◇p。根据模态逻辑方阵，已知◇p为真，则： □?p（执法者必然不会执法犯法）为假， □p（执法者必然执法犯法）真假不定， ◇?p （执法者可能不会执法犯法）真假不定。 P210 二、已知下列模态判断为真，请根据模态方阵分析相关判断的真假： 【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及实然判断。 设原判断p—A超市现在会关门， 则模态判断的逻辑形式为： ◇?p。根据模态逻辑方阵，已知◇?p为真，则：□p（A超市现在一定会关门）为假， ◇p（ A超市现在可能会关门）真假不定， □?p （ A超市现在一定不会关门）真假不定。 设原判断p—恐怖份子会善罢甘休 ， 则模态判断的逻辑形式为： □?p 。根据模态逻辑方阵，已知 □?p为真，则：◇p （恐怖份子可能会善罢甘休 ）为假， □p（恐怖份子必然会善罢甘休 ）为假， ◇?p （恐怖份子可能不会善罢甘休 ）为真。 P210 三、已知下列模态判断为假，请根据模态方阵分析相关判断的真假： 【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及实然判断。 设原判断p—被告有罪 ， 则模态判断的逻辑形式为： □p。根据模态逻辑方阵，已知□ p为假，则： ◇?p（被告可能无罪 ）为真， ◇p（被告可能有罪 ）真假不定，□?p （被告必然无罪 ）真假不定。 设原判断p—金属导电 ， 则模态判断的逻辑形式为： ◇?p 。根据模态逻辑方阵，已知 ◇?p为假，则： □p（金属必然导电 ）为真， ◇p （金属可能导电 ）为真， □?p （金属一定不导电 ）为假。 P210 三、已知下列模态判断为假，请根据模态方阵分析相关判断的真假： 【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及实然判断。 设原判断p—伟大人物生而知之 ， 则模态判断的逻辑形式为： ◇p。根据模态逻辑方阵，已知◇p为假，则：□?p（伟大人物一定不会生而知之 ）为真， ◇?p（伟大人物可能不会生而知之 ）为真， □p （伟大人物必然生而知之 ）为假。 设原判断p—刑满释放人员再犯罪 ， 则模态判断的逻辑形式为： □?p 。根据模态逻辑方阵，已知 □?p为假，则：◇p （刑满释放人员可能再犯罪 ）为真， □p（刑满释放人员必然再犯罪 ）真假不定， ◇?p（刑满释放人员可能不再犯罪 ）真假不定。 P210 四、写出下列模态推理的逻辑形式，并讨论其有效性： 【提示】：要根据模态逻辑方阵，从逻辑上判断其有效性。 设原判断p—潜逃的人有罪 ， 则模态推理的逻辑形式为： ◇?p ? ?□p 。根据模态逻辑方阵， ◇?p 与□p具有矛盾关系。根据矛盾关系的推理规则， 已知一个判断为真，可以推断另一个为假。故该推理形式有效。 设原判断p—处理品质量好 ， 则模态推理的逻辑形式为： □?p ??□p 。根据模态逻辑方阵， □?p 与?□p具有反对关系。根据反对关系的推理规则， 已知一个判断为真，可以推断另一个为假。故该推理形式有效。 P210 四、写出下列模态推理的逻辑形式，并讨论其有效性： 【提示】：要根据模态逻辑方阵，从逻辑上判断其有效性