规范模态命题.pptVIP

模态命题 真值模态命题 真值模态命题种类 可能肯定命题 ◇p. 可能否定命题 ◇﹁p. 必然肯定命题 □p. 必然否定命题 □ ﹁ p. 真值模态命题逻辑方阵 真值模态命题逻辑关系 上反对关系，不能同真，可以同假； 下反对关系，不能同假，可以同真； 从属关系，可以同真，可以同假，上位真，下位必真，下位假，上位必假。 矛盾关系，不能同真，不能同假。 规范模态命题 根据“实然”和“必然”、“可能”的关系进行的真值模态命题推理 （1）必然p → p → 可能p （2）必然非p →非p → 可能非p 由（1）（2）得出4个推理有效式： 必然p → p; p →可能p 必然非p →非 p; 非 p →可能非p 真值模态三段论 真值模态命题三段论就是以真值模态命题为前提或结论的三段论。 纯必然模态三段论 所有Ｍ必然是Ｐ 所有Ｓ必然是Ｍ 所以，所有Ｓ是Ｐ 真值模态三段论 必然和可能真值模态三段论 这个三段论两个前提分别是必然命题和可能命题构成的。其结论只能是可能命题。 如：Ｍ必然是Ｐ 　　Ｓ可能是Ｍ 　　所以，Ｓ可能是Ｐ　　　 真值模态三段论 这个三段论第一个前提是必然命题，第二个前提是直言命题，结论是个例外的必然命题。 Ｍ必然是Ｐ Ｓ是Ｍ 所以，Ｓ必然是Ｐ　 真值模态三段论 可能和实然结合的模态三段论 这个三段论，大前提是可能命题，小前提是直言肯定命题，结论是可能命题。 Ｍ可能是Ｐ Ｓ是Ｍ 所以，Ｓ可能是Ｐ　 * * 矛盾关系 上反对关系 下反对关系 □p □ ﹁ p ◇p □ ﹁ p 从 属 关 系 从 属 关 系 含有“必须”、“允许”、“禁止”等规范词的命题是规范模态命题。 “必须”（应当、有义务）用O表示。 “禁止”（不得、不准、必须不）用F表示。 “允许”（可以、准许）用P表示。 此三类又分肯定与否定，故六类。 必须肯定命题：其形式为OP； 必须否定命题：其形式为O┐P； 禁止肯定命题：其形式为FP； 禁止否定命题：其形式为F┐P； 允许肯定命题：：其形式为P P； 允许否定命题：：其形式为P┐P。 由于禁止与必须逻辑值一致 OP O┐P FP F┐P 故规范模态命题四类。即： OP、 O┐P、 PP、 P┐P。 矛盾关系 OP O┐P ?PP? P┐P 规范模态命题逻辑方阵 上反对关系 上反对关系 从属关系 从属关系 ? 上反对关系，?一个可行，另一个就不可行，一个不可行，另一个可行与否不定。 ? ? 下反对关系，一个不可行，另一个必可行，一个可行，另一个可行与否不定。? ? 从属关系，上位可行，下位必可行；上位不可行，下位可行与否不定；下位可行，其上位可行与否不定；下位不可行，其上位必不可行。 ? 矛盾关系，一个可行，另一个必不可行，一个不可行，另一个必可行。 模态命题推理 什么是模态命题推理？ 就是以模态命题为前提并根据模态命题的逻辑性的推。 模态命题推理种类： 模态对当关系推理及其有效式 二者可以同假，不能同真，一真另一必假，一假另一个真假不定 必然P □P 必然不P □﹁P T F T ﹁F ﹁□﹁P 1.□P ﹁□﹁P 二者可以同假，不能同真，一真另一必假，一假另一个真假不定 必然不P □﹁P 必然P □P T F T ﹁F ﹁□P 2. □﹁P ﹁□P 下反对关系??二者可以同真，不能同假，一个假，另一个必真，一个真，另一个真假不定。 可能P ◇P 可能不P ◇﹁P F T ﹁F ﹁◇P T ◇﹁P T ﹁◇P T ◇﹁P 3. ﹁◇P ◇﹁ P 下反对关系??二者可以同真，不能同假，一个假，另一个必真，一个真，另一个真假不定。 可能 不P ◇﹁P 可能P ◇P F T ﹁F ﹁◇﹁P T ◇P T ﹁◇﹁P