逻辑学第2章 节 复合命题推理.ppt

赋值技巧 变项赋值一般从结论（后件）开始。理由： 结论为假，容易赋值； 结论为一个命题，相对较简单。 若结论为假有不止一种赋值，则要进行每一种赋值的推演： ① 若每一种推演都有效，则可判定该推理有效。 ② 只要有一种推演无效，则可判定该推理无效。 p→q ， ? q? p├ ? (p ?q) (p→q )∧ (? q? p)→ ? (p ? q) 1 1 0 1 1 0 1 1 0 0 1 1 0 0 (p→q )∧ (? q? p)→ ? (p ? q) 0 1 1 1 0 1 1 0 0 0 0 1 1 习题 一、填空 若p取值为假，q取值为真 ，则p?q取值为 ，? p??q取值为 。 若“p?q”取值为假，则p取值为 ，q取值为 。 命题“如果气温降大0度，那么水就要结冰。”的命题形式是 。真值形式是 。 命题“并非如果买股票，就会发大财。”的命题形式是 。真值形式是 。 充分条件假言推理的有效式是 和 。 充分条件假言推理的规则是 。 蕴涵定义律和否定蕴涵律的表达式是 和 。 与命题“如果人没有自知之明，就要犯错误。”矛盾的合取命题是 。与之等值的析取命题是 。 二、检验下列推理是否有效 p?(q?r), q?(p?r) ┣ (p?q)→r ?p?q?r, ?r ┣ ?p?q ?q??p, r→s, (s?q)?t, ?t ┣ ?(p?r) r?s, q→p, p??s ┣ ?(?q??r) 复习 充分条件假言命题的定义、联结词、形式、逻辑特性。（前真后假为假；其余为真。引申：前真后必真，后假前必假。） 有效推理式和推理规则： 1.肯定前件式（肯前式） p→q， p ┣ q 2.肯定否定式（肯否式） p→q， ? q ┣ ?p 推理规则： 1.肯定前件就要肯定后件，肯定后件不能肯定或否定前件； 2.否定后件就要否定前件，否定前件不能肯定或否定后件。 真值表方法 完全真值表方法 简化真值表方法（归謬赋值法） 前提? 结论 1 0 0 习题 一、填空 若p取值为假，q取值为真 ，则p?q取值为 ，? p??q取值为 。 若“p?q”取值为假，则p取值为 ，q取值为 。 命题“如果气温降至0度，那么水就要结冰。”的命题形式是 。真值形式是 p?q 。 命题“并非如果买股票，就会发大财。”的命题形式是 ，真值形式是 。 5.充分条件假言推理的有效式是 和 。 6.充分条件假言推理的规则是 7.蕴涵定义律和否定蕴涵律的表达式是 。 8与命题“如果人没有自知之明，就要犯错误。”矛盾的合取命题是 与之等值的析取命题是 。 二、检验下列推理是否有效 p?(q?r), q?(p?r) ┣ (p?q)→r ?p?q?r, ?r ┣ ?p?q ?q??p, r→s, (s?q)?t, ?t ┣ ?(p?r) r?s, q→p, p??s ┣ ?(?q??r) 二、必要条件假言命题及其推理 （一）必要条件假言命题的逻辑特性 1.定义 2.联结词和命题形式 3.逻辑特性： 前假后真为假， 其余为真 引申： 前假后必假； 后真前必真。 p q p←q 1 1 1 1 0 1 0 1 0 0 0 1 逆蕴涵定义律和否定逆蕴涵律 逆蕴涵定义律： p←q ? p∨?q 否定逆蕴涵律： ?(p←q) ? ?p∧q 蕴涵逆蕴涵交换律： p←q ? q→p ? ?p→?q （二）必要条件假言推理 1.否定前件式（否前式） p←q， ?p ├ ?q 2.肯定后件式（肯后式） p←q， q ├ p 推理规则： 1.否定前件就要否定后件，肯定前件不能肯定或否定后件； 2.肯定后件就要肯定前件，肯定前件不能肯定或否定后件。 蕴涵与逆蕴涵推理的转换 1.否