形式逻辑课件 全套80.ppt

学而不思，则罔； 思而不学，则始； 你或学而不思，或思而不学； 总之，你或罔，或殆。 ２．揭露推理形式的错误 如果是党员，那么就应遵纪守法； 如果是干部，那么就应遵纪守法； 某人或不是党员，或不是干部； 总之，某人都不应遵纪守法。 联结词：“只有…… 才（能）……”、“除非……才……”、“除非……不……”、“必须……才……”、“不……不……”、“没有……没有……”等 一个必要条件假言判断只有当P假而ｑ真时，它才是假的，在其余情况下，它都是真的。 真值表 ： P q p←q 真 真 真 真 假 真 假 真 假 假 假 真 必要条件假言推理就是前提中有一个必要条件假言判断的假言推理。 据真值表，一个真的必要条件假言判断前件假，后件必假；后件真，前件必真。前件真时，后件可真可假；后件假时，前件可真可假，据此，规则两条： ? （1）否定前件就要否定后件，肯定后件就要肯定前件， ?（2）肯定前件不能肯定后件；否定后件不能否定前件。 1．否定前件式：前提中否定假言前提的前件，结论否定它的后件。公式： 只有P，才ｑ，非P；所以，非ｑ。 （P←ｑ）Λ┐P├ ┐ｑ 只有认真贯彻执行按劳分配原则，才能调动广大职工的生产积极性， 某厂没有认真贯彻执行按劳分配原则； 所以，某企业不能调动广大职工的生产积极性。 ２．肯定后件式：前提中肯定假言前提的后件，结论肯定它的前件。公式： 只有ｐ，才ｑ，ｑ，所以P。 （P←ｑ）∧ｑ├ P 只有尊重事实，才能坚持真理。 我们要坚持真理， 所以，我们要尊重事实。 无效式： 只有掌握法律知识，才能当律师， 某人掌握法律知识， 所以，某人能当律师。 只有掌握法律知识，才能当律师， 某人没有当律师， 所以，某人没有掌握法律知识。 三、充分必要条件假言判断及其推理 充分必要条件假言判断，就是断定某一事物情况存在是另一事物情况存在的充分必要条件的假言判断。 充分必要条件:有P必有ｑ，无P，必无ｑ。 当且仅一个数能被2整除，它才是偶数。 当且仅对角钱相等的梯形，才是等腰梯形。 公式：当且仅当P，才ｑ。 P←→ｑ 真值表： P q p←→q 真 真 真 真 假 假 假 真 假 假 假 真 充分必要条件假言推理就是假言前提是充分必要条件假言判断的假言推理。 规则两条： (1)肯定前件就要肯定后件，肯定后件就要肯定前件 (2)否定前件就要否定后件；否定后件就要否定前件． 四种有效形式： 1．肯定前件式。直言前提肯定假言前提的前件，结论肯定它的后件。公式： 当且仅当P，才ｑ，P ，所以ｑ。 （P←→ｑ）∧P├ｑ 当且仅当金属材料结构完好，则超声波能顺利透过; 某金属材料结构完好； 所以，超声波能顺利通过。 2.肯定后件式。直言前提肯定假言前提的后件，结论肯定它的前件。公式： 当且仅当P，才ｑ，ｑ，所以P。 （P←→ｑ）∧ｑ├P 当且仅当遵守推理规则，推理形式才是有效式； 这个推理形式是有效式， 所以，这个推理遵守了推理规则。 3．否定前件式。直言前提否定假言前提的前件，结论否定它的后件。公式： 当且仅当P，才ｑ，非P ，所以非ｑ。 （P←→ｑ）∧┐P├ ┐ｑ 当且仅当一个四边形的对边分别相等，它是平行四边形； 这个四边形的对边分别不相等， 所以，它不是平行四边形。 4．否定后件式。直言前提否定假言前提的后件，结论否定它的前件。公式： 当且仅当P，才ｑ，非ｑ，所以非P。 （P←→ｑ）Λ┐ｑ├ ┐P 当且仅当一个三角形的底角相等，它是等腰三角形； 这个不是等腰三角形 所以，它的底角不相等。 四、纯假言推理