第五章 命题的判断及方法.pptVIP

第五章 命题的判断及方法 一.教学重点: 真值表方法及其运用 二.教学难点: 归谬赋值法 三.教学主要内容: 一.真值形式 一个复合命题的真假主要取决于支命题的真假，但它并不能完全取决于支命题的真假。如果支命题之间缺乏必要的意义上的联系，人们是很难考虑并断定该复合命题的真假的。如： 如果2+3=5，那么上海就在中国的东部。 因此，人们在日常思维中，除了考虑其支命题的真假外，还必须考虑支命题之间是否存在着某些其它方面的联系。把命题的真假称为“真值”，把支命题在真假方面的联系称为真值联系。命题是由命题连接词和命题形式组成的，把由真值联结词和命题变项所构成的形式称为真值形式 1.真值联结词 表示复合命题与支命题之间真假关系的连接词。基本的真值连接词有五个： ┑、 ∧、 ∨、 ū、 →、 ←、 ← → 2.真值形式： ┑P、P∧Q、P∨Q、 PūQ、 P→Q、 P←Q、 P← → Q 3．命题形式： 重言式（又称永真式）如：P∨┑P、 P→P 矛盾式（常假式）如：P∧┑P、 ┑（P∨┑P） （3）可满足式（有时真，有时假）如P→Q、P∧Q 重言式具有特别重要的意义，是逻辑真理的表现形式，是关于真值联结词的逻辑规律。现代逻辑中的一切正确推理形式均可表示为重言式。 二．命题的真值判断方法 命题的真值判断方法很多，如： 真值表法、归谬赋值法、真值树法、演绎证明法、范式法等。 （一）