第五章 命题的判断与方法.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 重言式具有特别重要的意义，是逻辑真理的表现形式，是关于真值联结词的逻辑规律。现代逻辑中的一切正确推理形式均可表示为重言式。 二．命题的真值判断方法 命题的真值判断方法很多，如： 真值表法、归谬赋值法、真值树法、演绎证明法、范式法等。 （一）真值表法 真值表在逻辑思维中发挥着巨大的作用，其基本作用是以简单列表计算代替复杂的思考。 用真值表可以解决多种类型的问题。 第一类问题：用真值表判断若干判断之间是否具有矛盾、蕴涵、不同假、不同真等逻辑关系。如： 1．用真值表确定下面A、B、C两两之间关系。 A：如果甲出场，那么乙不出场； B：乙和甲都出场； C：只有甲出场，乙才不出场 2．用真值表确定是否存在一种出国方案，使A、B、C、D四句话同时为真。 A：如果王强出国，那么李明出国。 B：如果李明不出国，那么王强出国。 C：王强不出国或李明不出国 D：要么王强出国，要么李明出国 3.用真值表寻找符合题设条件的情况 用真值表方法确定当P→O和Q恰有一真时，P∨Q和┑（P∨Q）的真假值。 4. 判断命题之间是否等值 用真值表方法判断: ┑(P∧Q)与┑P∨┑Q是否等值 5.用真值表方法判断 ((P∧Q)→R)→(P→(Q→R))是否为重言式. 6. 用真值表判断下列推理是否正确: (1)张三作案或李四作案，有证据证明张三没作案。因此是李四作案 （2）张三作案或李四作案，有证据证明是张三作案。因此是李四没作案 （3）张三作案或李四作案。因此，并非如果李四没作案就一定是张三作案 （二）真值树法 不要列表，直接在判断下赋值。 1.用真值树法判断下列推理是否为正确推理式： （P → Q）∧ ┑ Q → ┑P 2．用真值树法判断下列判断是否为重言式： ┑（P ← Q）←→ ┑ P ∧ Q （三）归谬赋值法 1．用归谬赋值法判断下列判断是否为重言式 ( ( P → Q ) ∧ ┑ Q ) → ┑ P 2. (P→Q) ∧(R→S) ∧(┑Q∨┑S) →┑P∨┑R 3.判定 ( P → Q) ∧ (P → R ) →( P → Q ∨ R )是否为重言式 练习 1.一个人只有在爱的时候，才能理解对方的价值；一个人只有在被爱的时候，才能理解自身的价值；一个人或者爱，或者被爱，所以，或者懂得对方的价值，或者懂得自身的价值。（先写出逻辑推理式，后用真值表法检验。） 2. 用真值表的方法解答: 是否有一方案可同时满足甲、乙、丙三位领导的要求？甲、乙、丙三位领导对是否选派小丁与小马去国外进修有如下意见： 甲：如果小丁去，那么小马也去。 乙：只有小丁去，小马才去。 丙：或者小丁去，或者小马去。 ． 3.某案件有四名嫌疑犯，法庭调查后确认： （1）或A是罪犯，或B不是罪犯 （2）如果B不是罪犯，则C也不是罪犯 （3）只有C是罪犯，D才不是罪犯 （4）已知A不是罪犯 根据以上判断，确认谁是罪犯？写出推理过程。 4．在某一杀人案件中，被告张某被控告的理由是： （1）杀人事件发生的那天晚上，有人看见张某很晚才回来（表明被告有作案时间） （2）死者是被枪杀的，在现场发现一枚六五式手枪的子弹壳，而张某是保安人员，所带的也是六五式手枪。 （3）张某携带的枪上有血迹。 根据上面提供的理由，是否能合乎逻辑地推出被告人一定是杀人犯？ （要求用假言直言推理或三段论推理做分析） 5.下列各题中的议论是否违背了逻辑的基本规则，或其它逻辑要求？为什么？ （1）变是绝对