离散数学ch5探究.ppt

* * * * * * * * * * * * * * * 练习3 3.构造下面推理的证明: (1) 前提：?x(F(x)?G(x)), ?xF(x) 结论：?xG(x) 证明： ① ?x(F(x)?G(x)) 前提引入 ② F(y)?G(y) ①?? ③ ?xF(x) 前提引入 ④ F(y) ③?? ⑤ G(y) ②④假言推理 ⑥ ?yG(y) ⑤?+ ⑦ ?xG(x) ⑥置换 * 练习3(续) (2) 前提：?x(F(x)?G(x)), ??xG(x) 结论：?xF(x) 证明：用归谬法 ① ??xF(x)