3命题逻辑(3).ppt

命题逻辑（3）,基本复合命题推理,什么是推理？,从表象上看，推理是从若干个命题得出一个新命题的过程。其中，得出的命题称为结论，其它的命题称为前提。,推理的结构,推理由三部分构成：前提、结论与推理形式。推理提供前提对于结论的证据支持关系。证据支持度,一个推理的证据支持度的大小，与前提和结论的真实性是什么关系？,传统逻辑中几种基本的命题推理类型,联言推理选言推理：相容选言推理不相容选言推理假言推理：充分条件假言推理必要条件假言推理充分必要条件假言推理二难推理,联言推理,什么是联言推理？前提或结论由一个联言命题构成，并依据联言命题的逻辑性质进行的推理。例：我们需要物质文明，我们需要精神文明。所以，我们既需要物质文明又需要精神文明。,联言推理的两种形式,例：我们要发展竞技体育，我们又要发展群众体育。所以，我们既要发展竞技体育，又要发展群众体育。,联言推理的两种形式,例：我们既要反对“左”倾，又要反对“右”倾。所以，我们要反对“左”倾。,选言推理,什么是选言推理？前提中有一选言命题，依据选言命题的逻辑性质进行的推理。选言推理分为相容选言和不相容选言推理两类。,相容选言推理有效式：否定肯定式pqpqpqqp例：生产成本没有降低或者是由于没有节约原材料，或者是由于没有提高劳动生产率；某企业生产成本没有降低不是因为没有节约原材料；所以，某企业生产成本没有降低是由于没有提高劳动生产率。,前提中否定一部分选言支，结论中肯定剩余的选言支。,无效式：肯定否定式pqpqpqqp例：小王没有考好，或者是因为基础差，或者是由于不用功；小王没有考好是因为基础差；所以，小王没有考好不是不用功。,前提中肯定一部分选言支，在结论中否定剩余的选言支。,相容选言推理规则：否定一部分选言支，可以肯定另部分选言支。肯定一部分选言支，不能否定另部分选言支。,不相容选言推理有效式：否定肯定式要么p，要么q要么p，要么qpqqp例：甲班不是胜，就是负；甲班没有胜；所以，甲班一定负了。,肯定否定式要么p，要么q要么p，要么qpqqp例：这场篮球赛不是甲班胜，就是乙班胜。现在甲班胜了，所以，乙班一定输了。,不相容选言推理规则：肯定一部分选言支，就要否定其它选言支；否定一部分选言支，就要肯定其它选言支；,假言推理,充分条件假言推理有效式：无效式：肯定前件式：pq否定前件式：pqppqq否定后件式：pq肯定后件式：pqqqpp,充分条件假言推理规则：肯定前件可以肯定后件，否定后件可以否定前件，否定前件不能否定后件，肯定后件不能肯定前件。,必要条件假言推理有效式：无效式：否定前件式：只有p，才q肯定前件式：只有p，才qppqq肯定后件式：只有p，才q否定后件式：只有p，才qqqpp,必要条件假言推理：规则：否定前件可以否定后件，肯定后件可以肯定前件，肯定前件不能肯定后件，否定后件不能否定前件。,充分必要条件假言推理有效式：肯定前件式：pq肯定后件式：pqpqqp否定前件式：pq否定后件式：pqpqqp,充分必要条件假言推理：规则：肯定前件可以肯定后件，否定前件可以否定后件，肯定后件可以肯定前件，否定后件可以否定前件。,请写出推出s的推理过程：（1）pq（2）rs（3）pVr（4）q,已知：（1）在一场排球比赛中，若A和B都上场，则C不上场；（2）只有B上场，D才上场；（3）A和C都上场了请问：B和D是否上场了？请写出推理过程。,例:教练安排上场队员的原则如下：如果P不上场，则S不上场；只有D不上场，G才上场；A和C要么都上场，要么都不上场；当且仅当D上场，R才不上场；只有