形式逻辑第五章复合命题及其推理(上).ppt

２．否定后件式：前提中否定假言前提后件，结论否定它的前件。公式： 如果P，则ｑ；非ｑ，所以非P。 （P→ｑ）∧┐ｑ├ ┐ P 例：如果不大力发展教育事业，就不能加快现代化建设的步伐， 我们要加快现代化建设的步伐， 所以，必须大力发展教育事业。 无效式： 1. 否定前件不必然否定后件 如果某数能被4整除，则它能被２整除； 某数不能被4整除 所以，某数不能被２整除。 2.肯定后件不必然肯定前件 如果某数能被4整除，则它能被２整除； 某数能被２整除， 所以，某数能被４整除。 二、必要条件假言判断及其推理 必要条件假言判断就是断定某一事物情况的存在是另一事物情况存在的必要条件的假言判断。如果没有P，就必然没有ｑ（P这个情况的存在可能产生无数个结果来，但如果没有P，则结果中的任意一个ｑ都不会发生），那么，P就是ｑ的必要条件。 例：1.只有发展现代工业，才能为科学实验提供先进的精密的仪器设备。 2.没有雄厚的物质基础，就不能满足人民群众物质文化生活不断增长的需要。