第四章直言命题及其推理1.ppt

3、模态逻辑方阵-模态命题间的真假关系 反对关系 下反对关系 差等关系 差等关系 矛 盾 关 系 矛 盾 关 系 □p ◇p ◇﹁p □﹁p p ﹁p 差等关系 差等关系 差等关系 差等关系 此图表明： （1）□p与□﹁p之间的关系是反对关系。 （2）◇p与◇﹁p之间的关系是下反对关系。 （3）□p与◇﹁p以及 □﹁p与◇p之间的关系是矛盾关系。 （4）□p与◇p以及□﹁p与◇﹁p之间的关系是蕴涵关系。 （5）﹁□p?◇﹁p； ﹁◇﹁p?□p （6）﹁□﹁p?◇p； ﹁◇p?□﹁p 练习： 1、人都不可能不犯错误，不一定所有人都会犯严重错误。如果上述 断定为真，则以下哪项一定为真？ A.人都可能会犯错误，但有的人可能不犯严重错误。 B.人都可能会犯错误，但所有的人都可能不犯严重错误。 C.人都一定会犯错误，但有的人可能不犯严重错误。 D.人都一定会犯错误，但所有的人都可能不犯严重错误。 E.人都可能会犯错误，但有的人一定不犯严重错误。 ? A C 2、一把钥匙能打开天下所有的锁。这样的万能钥匙是不可能存在 的。 以下哪项最符合题干的断定？ A． 任何钥匙都必然有它打不开的锁。 B． 至少有一把钥匙必然打不开天下所有的锁。 C． 至少有一把锁天下所有的钥匙都必然打不开。 D． 任何钥匙都可能有它打不开的锁。 E．