第2章+必然性推理.pptVIP

复习 充分条件假言命题的定义、联结词、形式、逻辑特性。（前真后假为假；其余为真。引申：前真后必真，后假前必假。） 有效推理式和推理规则： 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.否定前件式（否前式） p←q， ?p ├ ?q q→p， ?p ├ ?q 2.肯定后件式（肯后式） p←q， q ├ p q→p， q ├ p 三、充分必要条件假言命题及其推理 （一）充分必要条件假言命题的逻辑特性 1.定义 2.联结词和命题形式 3.逻辑特性： 前后件同真同假为真， 其余为假。 引申： 前真后真，前假后假； 后真前真，后假前假。 p q p?q 1 1 1 1 0 0 0 1 0 0 0 1 等值定义律和否定等值律 等值定义律： p?q ? (p ∧ q) ∨ (?p ∧ ?q) p?q ? (p → q) ∧ (p ←q) p?q ? ? (p ? q) 否定等值律 ? (p?q) ? (p ∧ ?q) ∨ (?p ∧ q) ?（p?q） ? p ? q （二）充分必要条件假言推理 1.肯定前件式（肯前式） p?q， p ├ q 2.否定后件式（否后式） p?q， ?q ├ ?p 3.否定前件式（否前式） p?q， ?p ├ ?q 4.肯定后件式（肯后式） p?q， q ├ p 推理规则： 肯前就要肯后，否前就要否后； 肯后就要肯前，否后就要否前。 等值命题与矛盾命题 ?(p?q) ? (p?q) ? (p??q) ∨(?p?q)? ((p∨q)∧?(p?q)) ?(p?q) ? (p?q)? (p?q) ∨(?p??q)? ((p→q)∧(p←q)) 真值表的解题作用 已知下列三命题中： A：如果甲队是冠军，那么乙队是亚军。 B：如果乙队是亚军，那么甲队是冠军。 C：甲队不是冠军。 请问： 1.上述三命题中，只有一真，那一个为真？甲队是不是冠军？乙队是不是亚军？ 2.上述三命题中，只有一假，那一个为假？甲队是不是冠军？乙队是不是亚军？