数理逻辑课件 第4节 命题逻辑的推理理论.pptVIP

*/36 归谬法（反证法） 归谬法 (反证法) 欲证： 前提：A1, A2, … , Ak 结论：B 做法： 在前提中加入?B，推出矛盾. 理由： A1?A2?…?Ak?B ? ?(A1?A2?…?Ak)?B ? ?(A1?A2?…?Ak??B) ? ?(A1?A2?…?Ak??B)?0 ? A1?A2?…?Ak??B?0 */36 归谬法实例 例4 前提：?(p?q)?r, r?s, ?s, p 结论：?q 证明 用归缪法 ① ?(p?q)?r 前提 ② r?s 前提 ③ ?s 前提 ④ p 前提 ⑤ q 假设 ⑥ p?q ④⑤ ?i ⑦ r ①⑥析取三段论 ⑧ s ②⑦ ?e ⑨ ┴ ③⑧ ?e ⑩ ?q