离散数学习题.docxVIP

失散数学习题 失散数学习题 PAGE / NUMPAGES 失散数学习题 失散数学习题答案 习题二及答案： （P38） 5、求以下公式的主析取范式，并求成真赋值： （ 2） ( p q) (q r ) 解：原式 ( p q) q r q r ( p p) q r ( p q r ) ( p q r ) m3 m7 ，此即公式的主析取范式， 因此成真赋值为 011， 111。 6、求以下公式的主合取范式，并求成假赋值： （ 2） ( p q) ( p r ) 解：原式 ( p p r ) ( p q r ) ( p q r )M 4 ，此即公式的主合取范式， 因此成假赋值为 100。 7、求以下公式的主析取范式，再用主析取范式求主合取范式： 1） ( p q) r 解：原式 p q ( r r ) (( p p) ( q q) r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) ( p q r ) m1 m3 m5 m6 m7 ，此即主析取范式。 主析取范式中没出现的极小项为 m0 ， m2 ， m4 ，因此主合取范式中含有三个极大项 M 0 ， M 2 ， M 4 ，故原式的主合取 范式 M0 M2 M4。 9、用真值表法求下边公式的主析取范式： （ 1） ( p q) ( p r ) 解：公式的真值表以下： p q r p p q p r ( p q) ( p r ) 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 由真值表能够看出成真赋值的状况有 7 种，此 7 种成真赋值所对应的极小项的析取即为主析取范式，故主析取范式 m1 m2 m3 m4 m5 m6 m7 习题三及答案： （P52-54 ） 11、填补下边推理证明中没有写出的推理规则。 前提： p q, q r , r s, p 结论： s 证明： ① p 前提引入 p q 前提引入 ③ q ①②析取三段论 q r 前提引入 ⑤ r ③④析取三段论 ⑥ r s 前提引入 ⑦ s ⑤⑥假言推理 15、在自然推理系统 P 顶用附带前提法证明下边推理： （ 2）前提： ( p q) (r s),( s t) u 结论： p u 证明：用附带前提证明法。 ① p 附带前提引入 ② p q ①附带 ③ ( p q) (r s) 前提引入 ④ r s ②③假言推理 ⑤ s ④化简 ⑥ s t ⑤附带 ⑦ ( s t) u 前提引入 ⑧ u ⑥⑦假言推理 故推理正确。 16、在自然推理系统 P 顶用归谬法证明下边推理： （ 1）前提： p q ， r q ， r s 结论： p 证明：用归谬法 ① p 结论的否认引入 ② p q 前提引入 ③ q ①②假言推理 ④ r q 前提引入 ⑤ r ③④析取三段论 ⑥ r s 前提引入 ⑦ r ⑥化简 ⑧ r r ⑤⑦合取 因为 r r 0 ，因此推理正确。 15、在自然推理系统 17、在自然推理系统 P 中结构下边推理的证明： 只需 A 曾到过受害者房间而且 11 点从前没走开， A 就是谋杀嫌犯。 A 曾到过受害者房间。假如 A 在 11 点从前走开，看门人 会看见他。看门人没有看见他。因此， A 是谋杀嫌犯。 解：设 p： A 到过受害者房间， q： A 在 11 点从前走开， r ： A 是谋杀嫌犯， s：看门人看见过 A。 则前提： ( p q) r ， p ， q s ， s 结论： r 证明： ① q s 前提引入 ② s 前提引入 ③ q ①②拒取式 ④ p 前提引入 ⑤ p q ③④合取引入 ⑥ ( p q) r 前提引入 ⑦ r ⑤⑥假言推理 习题五及答案： （P80-81 ） （ 3）前提： 结论： 证明：  N 中，结构下边推理的证明： x(F ( x) G( x)) ， xG( x) xF ( x) ① xG (x) 前提引入 ② x G (x) ①置换 ③ G (c) ②UI 规则 ④ x(F ( x) G ( x)) 前提引入 ⑤ F (c) G (c) ④UI 规则 ⑥ F (c) ③⑤析取三段论 xF (x)⑥EG规则 22、在自然推理系统 N 中，结构下边推理的证明： 2）凡大学生都是勤劳的。王晓山不勤劳。因此王晓山不是大学生。解：设 F(x) ：x 为大学生， G(x) ：想是勤劳的， c：王晓山