形式逻辑(第五章(新)).pdfVIP

第五章 模态逻辑 要求： n 掌握各种模态命题及其间的关系，能够判定给定的两个模态 命题间属何种关系，从已知一个模态命题的真（或假），推 知其他三种模态命题的真假情况。 n 把握几种比较简单的模态推理，能够判定一模态推理是否有 效，能有已知某一模态推理的前提推出其结论。 要点： n 模态命题的定义；各种模态命题及其逻辑形式。 n 模态命题间的真假关系。 n 根据模态逻辑方阵进行的模态推理公式。 n 根据模态命题与性质命题之间关系进行模态推理公式。 第一节 真值模态命题及其推理 一、真值模态命题： 断定事物情况的必然性或可能性的命题。 1.必然肯定命题：断定事物情况必然存在的命题。 例如； 大地回春草木必然发新芽。” 冬天过后必然是春天。” v 逻辑形式： s 必然是p” 或“‘s 是p’是必然的。” v 简写：必然p 或 □p 2.必然否定命题：断定事物情况必然不存在的命题。 例如： 谎言不能持久是必然的。” 事物必然不是静止的。” v 逻辑形式： s 必然不是p” 或“‘S 不是p’是必然的。” v 简写：必然非p 或 □﹁p 3.可能肯定命题：断定事物情况可能存在的命题。又叫或然肯定命题。 例如： 今天可能下雨。” 火星上可能有生物。” q 逻辑形式： s 可能是p” 或“‘s 是p’是可能的。” q 简写：可能p 或‚p 4.可能否定命题：断定事物情况可能不存在的命题。又叫或然否定命题。 例如： 战争可能不爆发。” 明天可能不下雪。” 逻辑形式： s 可能不是p” 或“‘s 不是p’是可能的” 简写：可能非p 或‚ ﹁p 二、模态命题的真假关系： 必然p 反对关系 必然非p 1.真假关系： 差 矛盾 关系 差 等 等 关 关 系 矛盾 关系 系 可能p 可能非p 下反对关系 （1） 对关系：必然p 与必然非p 之间的关系。二者不能同真， 可以同假。 （2）下反对关系：可能p 与可能非p 之间的关系。二者不能同假， 可以同真。 （3）矛盾关系：必然p 与可能非p ；必然非p 与可能p 之间 的关系。二者既不同真，也不同假。 （4 ） 等关系：必然p与可能p ；必然非p 与可能非p 之间的 关系。即必然命题真，可能命题必真；必然命 题假，可能命题可真可假；可能命题假，必然