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

P210
二、已知下列模态判断为真，请根据模态方 阵分析相关判断的真假：
【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及 实然判断。
1. 设原判断p—太阳从东方升起， 则模态判断的逻辑形 式为：□p。根据模态逻辑方阵，已知□p为真，则： □p（太阳必定不从东方升起）为假， ◇p（太阳 可能从东方升起）为真，◇p（太阳可能不从东方 升起）为假。 2. 设原判断p—执法者执法犯法， 则模态判断的逻辑形 式为： ◇p。根据模态逻辑方阵，已知◇p为真，则： □p（执法者必然不会执法犯法）为假， □p（执 法者必然执法犯法）真假不定， ◇p （执法者可能 不会执法犯法）真假不定。
P210 五、写出下列规范判断的逻辑形式，并
讨论其负判断：
【提示】：先明确原判断，写出判断形式，再写出负判断。
4. 设原判断p—利用宗教进行破坏社会秩序的活动 ， 则规范判 断的逻辑形式为： Fp，或Pp。其负判断为Fp，或Pp 。即： 不禁止利用宗教进行破坏社会秩序的活动 ，或，可以利用宗 教进行破坏社会秩序的活动。 5. 设原判断p—未满十周岁的儿童在道路上骑自行车 ， 则规范 判断的逻辑形式为： Fp，或Pp。其负判断为Fp，或Pp 。 即：并非不准未满十周岁的儿童在道路上骑自行车 ，或，未 满十周岁的儿童可以在道路上骑自行车 。 6. 设原判断p—对于与案件无关的问题，被告予以回答 ，则规范 判断的逻辑形式为： Pp。其负判断为： Pp。即：对于 与案件无关的问题，被告不可以不予回答 。
P211
八、写出下列规范推理的逻辑形式，并讨论 其有效性：
【提示】：要根据规范逻辑方阵，从逻辑上判断其有效性。
1. 设原判断p—一个人强人所难 ， 则规范推理的逻辑形 式为： Op Op 。根据规范逻辑方阵， Op 与 Op具有反对关系。根据反对关系的推理规则， 已知 一个判断正确，可以推断另一个错误。故该推理形式 有效。 2. 设原判断p—非经同意修改 ， 则规范推理的逻辑形式 为： Pp Op 。根据规范逻辑方阵， Pp 与Op具 有差等关系， Pp为下位判断。根据反对关系的推理 规则， 已知下位判断错误，可以推断上位判断错误。 故该推理形式有效。
P210
四、写出下列模态推理的逻辑形式，并讨论 其有效性：
【提示】：要根据模态逻辑方阵，从逻辑源自文库判断其有效性。
5. 设原判断p—今年的物价会涨 ， 则模态推理的逻辑形 式为： □p □p 。根据模态逻辑方阵， □p 与 □p具有反对关系。根据反对关系的推理规则， 已 知一个判断为假，不能推断另一个判断的真假。故该 推理形式无效。 6. 设原判断p—凶杀案是图财害命 ， 则模态推理的逻辑 形式为： ◇p □p 。根据模态逻辑方阵， ◇p 与□p具有矛盾关系。根据矛盾关系的推理规则， 已 知一个判断为真，可以推断另一个为假。故该推理形 式有效。
P210 七、已知下列规范判断错误，请根据规范方阵
分析相关判断的对错：
【提示】：注意“根据规范逻辑方阵”这个要求。但可暂不涉及 实然判断。
1. 设原判断p—无烟办公室吸烟 ， 则规范判断的逻辑形 式为：Pp。根据规范逻辑方阵，已知Pp错误，则： Op（无烟办公室必须不吸烟 ）正确， Pp（无烟 办公室可以不吸烟 ）正确，Op（无烟办公室必须吸 烟 ）错误。 2. 设原判断p—一个人强人所难 ， 则规范判断的逻辑形 式为： Op。根据模态逻辑方阵，已知Op错误， 则： Pp（一个人可以强人所难 ）正确， Op（一个 人应当强人所难 ）对错不定， Pp （一个人可以不 强人所难 ）对错不定。
《通识逻辑学》练习题参考答案
第十一章 模态判断及其推理
刘社军整理于 2010 . 12 . 23
刘社军修订于 2010 . 12 . 23
2013-10-28
1
P209 一、写出下列模态判断的逻辑形式，并
讨论其负判断：
【提示】：先明确原判断，写出判断形式，再写出负判断。
1. 设原判断p—这样的情况会出现， 则模态判断的逻辑 形式为： ◇p。负判断为： ◇p。即：这样的情况 不可能出现。 2. 设原判断p—β星系中有低级生物，则模态判断的逻 辑形式为： □p。其负判断为： □p。即：β星 系中不一定没有低级生物。 3. 设原判断p—张华知道后果的严重性， 则模态判断的 逻辑形式为： ◇p。其负判断为： ◇p。即：张华 不可能知道后果的严重性。
P210 七、已知下列规范判断错误，请根据规范方阵
分析相关判断的对错：
【提示】：注意“根据规范逻辑方阵”这个要求。但可暂不涉及 实然判断。
3. 设原判断p—学生服从学校管理 ， 则规范判断的逻辑 形式为： Pp。根据规范逻辑方阵，已知Pp错误， 则：Op（学生必须服从学校管理 ）正确， Pp（学生 可以服从学校管理 ）对错不定， Op （学生应当不 服从学校管理 ）对错不定。 4. 设原判断p—不服一审判决的当事人上诉 ， 则模态判 断的逻辑形式为： Op 。根据规范逻辑方阵，已知 Op错误，则： Pp （不服一审判决的当事人可以不 上诉 ）正确， Op（不服一审判决的当事人必须不 上诉 ）对错不定， Pp （不服一审判决的当事人可以 上诉 ）对错不定。
P210
三、已知下列模态判断为假，请根据模态方 阵分析相关判断的真假：
【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及 实然判断。
3. 设原判断p—伟大人物生而知之 ， 则模态判断的逻辑 形式为： ◇p。根据模态逻辑方阵，已知◇p为假， 则：□p（伟大人物一定不会生而知之 ）为真， ◇p（伟大人物可能不会生而知之 ）为真， □p （伟大人物必然生而知之 ）为假。 4. 设原判断p—刑满释放人员再犯罪 ， 则模态判断的逻 辑形式为： □p 。根据模态逻辑方阵，已知 □p 为假，则：◇p （刑满释放人员可能再犯罪 ）为真， □p（刑满释放人员必然再犯罪 ）真假不定， ◇p （刑满释放人员可能不再犯罪 ）真假不定。
P210
四、写出下列模态推理的逻辑形式，并讨论 其有效性：
【提示】：要根据模态逻辑方阵，从逻辑上判断其有效性。
7. 设原判断p—今年的物价会涨 ， 则模态推理的逻辑形 式为： □p □p 。根据模态逻辑方阵， □p 与 □p具有反对关系。根据反对关系的推理规则， 已 知一个判断为假，不能推断另一个判断的真假。故该 推理形式无效。 8. 设原判断p—夫妻感情很好会吵架 ， 则模态推理的逻 辑形式为： ◇p □p 。根据模态逻辑方阵， ◇p 与□p具有差等关系，且◇p为下位判断 。 根据差等关系的推理规则， 已知下位判断为真，不 能推断上位判断的真假。故该推理形式无效。
P210
二、已知下列模态判断为真，请根据模态方 阵分析相关判断的真假：
【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及 实然判断。
3. 设原判断p—A超市现在会关门， 则模态判断的逻辑 形式为： ◇p。根据模态逻辑方阵，已知◇p为真， 则：□p（A超市现在一定会关门）为假， ◇p（ A超 市现在可能会关门）真假不定， □p （ A超市现在 一定不会关门）真假不定。 4. 设原判断p—恐怖份子会善罢甘休 ， 则模态判断的逻 辑形式为： □p 。根据模态逻辑方阵，已知 □p 为真，则：◇p （恐怖份子可能会善罢甘休 ）为假， □p（恐怖份子必然会善罢甘休 ）为假， ◇p （恐 怖份子可能不会善罢甘休 ）为真。
P210
六、已知下列规范判断正确，请根据规范方 阵分析相关判断的对错：
【提示】：注意“根据规范逻辑方阵”这个要求。但可暂不涉及 实然判断。
3. 设原判断p—一个人信仰某种宗教 ， 则规范判断的逻 辑形式为： Pp。根据规范逻辑方阵，已知Pp正确， 则：Op（一个人必须信仰某种宗教 ）错误， Pp（一 个人可以信仰某种宗教 ）对错不定， Op （一个人 必须不信仰某种宗教 ）对错不定。 4. 设原判断p—汽车在城区主要路段行驶时鸣喇叭 ， 则 模态判断的逻辑形式为： Op 。根据规范逻辑方阵， 已知 Op正确，则：Pp （汽车在城区主要路段行驶 时可以鸣喇叭 ）错误， Op（汽车在城区主要路段行 驶时必须鸣喇叭 ）错误， Pp （汽车在城区主要路 段行驶时可以不鸣喇叭 ）正确。
P210
六、已知下列规范判断正确，请根据规范方 阵分析相关判断的对错：
【提示】：注意“根据规范逻辑方阵”这个要求。但可暂不涉及 实然判断。
1. 设原判断p—公民依法纳税 ， 则规范判断的逻辑形式 为：Op。根据规范逻辑方阵，已知Op正确，则： Op（公民必须不依法纳税 ）错误， Pp（公民可以 依法纳税 ）正确，Pp（公民可以不依法纳税 ）错 误。 2. 设原判断p—在这个新社区养狗 ， 则规范判断的逻辑 形式为： Pp。根据模态逻辑方阵，已知Pp正确，则： Op（这个新社区必须不养狗 ）错误， Op（这个新 社区必须养狗 ）对错不定， Pp （这个新社区允许 不养狗 ）对错不定。
P209 一、写出下列模态判断的逻辑形式，并
讨论其负判断：
【提示】：先明确原判断，写出判断形式，再写出负判断。
4. 设原判断p—正确的推理是合乎逻辑的， 则模态判断 的逻辑形式为： □p。其负判断为□p。即：正确 的推理不一定是合乎逻辑的。 5. 设原判断p—未成年人具有辨别是非的能力， 则模态 判断的逻辑形式为： ◇p。其负判断为： ◇p。 即：未成年人不可能不具有辨别是非的能力。 6. 设原判断p—反动势力会自动退出历史舞台，则模态 判断的逻辑形式为： □p。其负判断为： □p。 即：反动势力不一定不会自动退出历史舞台。
P210 五、写出下列规范判断的逻辑形式，并
讨论其负判断：
【提示】：先明确原判断，写出判断形式，再写出负判断。
1. 设原判断p—理性对自己进行批判 ， 则规范判断的逻 辑形式为： Op。负判断为： Op。即：理性不必对 自己进行批判 。 2. 设原判断p—司机带驾驶执照行车 ，则规范判断的逻 辑形式为： Fp，或Op。其负判断为： Fp，或 Op。即：不禁止司机不带驾驶执照行车，或，司机 不必带驾驶执照行车 。 3. 设原判断p—星期六晚上西教学楼开舞会 ， 则规范判 断的逻辑形式为： Pp。其负判断为： Pp。即：星 期六晚上西教学楼不允许开舞会 。
P210
四、写出下列模态推理的逻辑形式，并讨论 其有效性：
【提示】：要根据模态逻辑方阵，从逻辑上判断其有效性。
1. 设原判断p—潜逃的人有罪 ， 则模态推理的逻辑形式 为： ◇p □p 。根据模态逻辑方阵， ◇p 与 □p具有矛盾关系。根据矛盾关系的推理规则， 已知 一个判断为真，可以推断另一个为假。故该推理形式 有效。 2. 设原判断p—处理品质量好 ， 则模态推理的逻辑形式 为： □p □p 。根据模态逻辑方阵， □p 与 □p具有反对关系。根据反对关系的推理规则， 已 知一个判断为真，可以推断另一个为假。故该推理形 式有效。
P210
三、已知下列模态判断为假，请根据模态方 阵分析相关判断的真假：
【提示】：注意“根据模态逻辑方阵”这个要求。但可暂不涉及 实然判断。
1. 设原判断p—被告有罪 ， 则模态判断的逻辑形式为： □p。根据模态逻辑方阵，已知□ p为假，则： ◇p （被告可能无罪 ）为真， ◇p（被告可能有罪 ）真 假不定，□p （被告必然无罪 ）真假不定。 2. 设原判断p—金属导电 ， 则模态判断的逻辑形式为： ◇p 。根据模态逻辑方阵，已知 ◇p为假，则： □p（金属必然导电 ）为真， ◇p （金属可能导电 ） 为真， □p （金属一定不导电 ）为假。
P210
四、写出下列模态推理的逻辑形式，并讨论 其有效性：
【提示】：要根据模态逻辑方阵，从逻辑上判断其有效性。
3. 设原判断p—患感冒的人发烧 ， 则模态推理的逻辑形 式为： □p ◇p 。根据模态逻辑方阵， □p 与 ◇p具有差等关系，且□p为上位判断 。根据差等关 系的推理规则， 已知上位判断为假，不能推断下位 判断的真假。故该推理形式无效。 4. 设原判断p—犯罪留下痕迹 ， 则模态推理的逻辑形式 为： ◇p □p 。根据模态逻辑方阵， ◇p 与 □p具有矛盾关系。根据矛盾关系的推理规则， 已知 一个判断为假，可以推断另一个为真。故该推理形式 有效。