离散数学数理逻辑部分考试试题(doc8页)全面版.docxVIP

失散数学数理逻辑部分考试一试题(doc8页)全面版 失散数学数理逻辑部分考试一试题(doc8页)全面版 PAGE / NUMPAGES 失散数学数理逻辑部分考试一试题(doc8页)全面版 失散数学形成性查核作业（四） 数理逻辑部分 本课程形成性查核作业共 4 次，内容由中央电大确立、 一致部署。 本次形考作业是第四次作业，大家要仔细实时地达成数理逻辑部分的形考作业，笔迹工整， 抄录题目， 解答题有解答过程。 第 6章 命题逻辑 1．判断以下语句能否为命题，假如命题请指出是简单命题仍是复合命题． 1）8 能被 4 整除． 2）今日温度高吗？ 3）今每日气真好呀！ （ 4）6 是整数当且仅当四边形有 4 条边． 5）地球是行星． 6）小王是学生，但小李是工人． 7）除非下雨，不然他不会去． 8）假如他不来，那么会议就不可以准时开始．解：本题即是教材 P.184 习题 6（ A ） 1 1）、（ 4）、（ 5）、（ 6）、（7）、（ 8）是命题，（2）、（ 3）不是命题。此中（ 1）、（ 5）是简单命题， （ 4）、（6）、（ 7）、（ 8）是复合命题。 2．翻译成命题公式 1）他不会做此事． 2）他去旅行，仅当他有时间． 3）小王或小李都会解这个题． 4）假如你来，他就不回去． 5）没有人去看展览． 6）他们都是学生． 7）他没有去看电影，而是去观看了体育竞赛． 8）假以下雨，那么他就会带伞． 解：本题即是教材 P.184 习题 6（ A ） 2 （1） P：他会做此事。 P：他不会做此事。 （2） P：他去游泳。 Q：他有时间。 P Q：他去旅行，仅当他有 时间。 3） P：小王会解这道题。 Q：小李会解这道题。 P Q：小王或小李都会解这 道题。 （4） P：你来。 Q：他回去。 P Q：假如你来，他就不回 去。 5） P：有人去看展览。P：没有人去看展览。 6） P：他们都是学生。 7） P：他去看电影。 Q：他去观看了体育竞赛 。 Q：他没有去看电影，而 是去观看了体育竞赛。 。 （8） P：天下雨。 Q：他会带伞。 P Q：假以下雨，那么他就 会带伞。 3．设 P， Q 的真值为 1； R， S 的真值为 0，求命题公式 (P∨ Q)∧ R∨ S∧ Q 的真值． 解：本题即是教材 P.184 习题 6（ A ） 4（2） (P∨ Q)真值为 1， (P∨Q)∧ R 真值为 0， S∧ Q 真值为 0， 进而(P∨ Q)∧ R∨ S∧ Q 真值为  0。 4．试证明以下逻辑公式 （ 1） ┐（A∧ ┐B）∧（ ┐B∨C）∧ ┐C （ 2） (P→ Q) ∧(Q→ R)∧┐R P  ┐（ A∨ C） （本题即是教材 P.185 习题 6（ A ） 5（ 1）、（ 4）） 前提： ( A B), ( B C),C 结论： ( A B) 证明： (A B) P (1) (2) A B T 由(1) (3) B C P (4) C P (5) B T 由(3)(4) (6) A T 由 ( 2)(4) (7) A B T 由 (5)(6) (8) ( A B) T 由 ( 7) 前提： ( P Q ), (Q R), R 结论： P 证明： P Q P (1) (2) Q R P (3) P R T 由(1)(2) (4) R P (5) P T 由(3)(4) 5．试求以下命题公式的主析取范式，主合取范式． 1） （ P∨ (Q∧ R)） →(P∧ Q) 2） ┐(P→ Q)∧ Q （本题即是教材 P.185 习题 6（ A ） 6（ 2）、（ 4）） 解：（ 1）先求主析取范式 (P (Q R)) (P Q) (P (Q R)) (P Q) P (Q R)) (P Q) P ( Q R)) (P Q) ( P Q) ( P R)) (P ( P Q (R R)) ( P ( P Q R) ( P Q  Q ) R R)  已成为限制性公式 已成为析取范式 (Q Q)) (P ( P Q R) (  Q  P  ( R  R)) Q R)  补齐法 ( P  Q  R) (P  Q  R) (  P  Q R)  ( P  Q R) (  P  Q  R) ( P  Q  R) (P  Q  R) 再求主合取范式（令公  式为 A） A (  P  Q  R) (P  Q R)  ( P  Q  R) A  A (( P ( P ( P  Q Q Q  R) R) R)  (  (P ( P P  Q Q Q  R) R) R)  ( P (  (P P  Q R)) Q R)) Q R)) 解：（ 2）