[其它]2第一章复合命题极其推理1.ppt

复合命题与命题逻辑 逻辑所研究的演绎推理形式主要有两种类型：一种是建立在逻辑联词的性质上的命题之间的推理形式。另一种是建立在命题分析后的词项性质上的推理，主要有量词、模态词的推理。 在中国古代，关于命题以及推理的学说属于“辞”和“说”的理论。“辞”相当于现在的“语句”，“说”相当于现在的“推理”。 主要内容 第一节，命题与推理概述 第二节，命题逻辑的推理 联言，选言，假言，负命题 其它推 第三节，真值表 第四节，形式证明 第五节，真值树 第一节，命题与推理概述 一，判断、命题与语句 1判断 判断是对思维对象有所断定的思维形式。有所断定就是对思维反映的对象的属性有所肯定或有所否定。 判断有两个明确的特点：第一，所有的判断都表达了主体的愿望、心理、情绪。因此判断有“心理因素”的成分。第二，判断有明确的真假意义。 判断的心理因素曾经引起过逻辑学家们的“注意”，认为这是引起逻辑混乱或推理错误的原因之一。 2，命题 命题是对思维对象的反映，但是它对所反映的内容不作任何断定。 命题是对判断的抽象，是去掉了判断对思维的断定成分，仅仅保留下对思维内容的陈述。 ⑴“孙子是古代的著名军事家”。 ⑵“火星上有生命”。 ⑶“n是最大的自然数” 命题尽管没有“断定”的成分，但是它有真假，它 是真假的载体。 命题具有真值的含义可以进一步表述为：“命题要么陈述了事