不是永存的”和“资产阶级的法可能不是永存的”为真,而“资产阶级的法必然是永存的”和 资产阶级的法可能是永存的”为假。 第二节模态推理 模态推理就是前提或结论中有模态命题的推理。模态推理主要有以下三种。 模态对当推理 模态对当推理就是根据模态对当关系进行的推理。模态对当关系就是同素材的口P、口-P、 ◇P、◇-P四种模态命题之间的真假关系。 模态对当关系可用逻辑方阵图表示如下。 口P反对口-P 差 差 等 ◇P下反对◇-P 从这一方阵图可以看出,四种模态命题之间共有四种关系,因此也就有四种模态对当推理。 下面分别说明 1、矛盾关系对当推理 矛盾关系对当推理是指利用模态命题间的矛盾关系进行的推理。矛盾关系是指口P和◇-P、 1-P和◇P之间的真假关系。 ①口P和◇P之间的真假关系 当口P为真时,P在所有可能世界里为真,所以,◇-P为假。 当◇-P为假时,P在所有可能世界里为真,所以,口P为真。 当口P为假时,P至少在一个可能世界里为假,所以,◇P为真。 当◇P为真时,P至少在一个可能世界里为假,所以,口P为假。 可见,口P和◇-P之间,既不可同真,也不可同假。所以,它们之间是矛盾关系 口P和◇P之间的真假关系可用等值式表示为 口P4-◇-P 口P4◇-P 根据这种真假关系进行的推理就是矛盾关系对当推理。 例1]客观事物必然发展变化, 所以,客观事物不可能不发展变化。 [例2]某甲的代理权不必然有效 所以,某甲的代理权可能不有效 ②口-P和◇P之间的真假关系 当口一P为真时,P在所有可能世界里为假,所以,◇P为假 当◇P为假时,P在所有可能世界里为假,所以,口-P为真 当口-P为假时,P至少在一个可能世界里为真,所以,◇P为真。 当◇p为真时,p至少在一个可能世界里为真,所以,口-P为假。69 矛 矛 盾 盾 不是永存的”和“资产阶级的法可能不是永存的”为真，而“资产阶级的法必然是永存的”和 “资产阶级的法可能是永存的”为假。 第二节 模态推理 模态推理就是前提或结论中有模态命题的推理。模态推理主要有以下三种。 一、模态对当推理 模态对当推理就是根据模态对当关系进行的推理。模态对当关系就是同素材的□P、□P、 ◇P、◇P 四种模态命题之间的真假关系。 模态对当关系可用逻辑方阵图表示如下。 □P 反对 □P 差 差 等 等 ◇P 下反对 ◇P 从这一方阵图可以看出，四种模态命题之间共有四种关系，因此也就有四种模态对当推理。 下面分别说明。 1、矛盾关系对当推理 矛盾关系对当推理是指利用模态命题间的矛盾关系进行的推理。矛盾关系是指□P 和◇P、 □P 和◇P 之间的真假关系。 ①□P 和◇P 之间的真假关系 当□P 为真时，P 在所有可能世界里为真，所以，◇P 为假。 当◇P 为假时，P 在所有可能世界里为真，所以，□P 为真。 当□P 为假时，P 至少在一个可能世界里为假，所以，◇P 为真。 当◇P 为真时，P 至少在一个可能世界里为假，所以，□P 为假。 可见，□P 和◇P 之间，既不可同真，也不可同假。所以，它们之间是矛盾关系。 □P 和◇P 之间的真假关系可用等值式表示为： □P◇P  □P◇P 根据这种真假关系进行的推理就是矛盾关系对当推理。 [例 1] 客观事物必然发展变化， 所以，客观事物不可能不发展变化。 [例 2] 某甲的代理权不必然有效， 所以，某甲的代理权可能不有效。 ②□P 和◇P 之间的真假关系 当□P 为真时，P 在所有可能世界里为假，所以，◇P 为假。 当◇P 为假时，P 在所有可能世界里为假，所以，□P 为真。 当□P 为假时，P 至少在一个可能世界里为真，所以，◇P 为真。 当◇p 为真时，p 至少在一个可能世界里为真，所以，□P 为假