《离散数学(命题逻辑)课后总结.doc》由会员分享，可在线阅读，更多相关《离散数学(命题逻辑)课后总结.doc（10页珍藏版）》请在金锄头文库上搜索。
1、离散数学（课件上习题）第一章例1-1.1 判定下面这些句子哪些是命题。 2是个素数。 雪是黑色的。 2013年人类将到达火星。 如果 ab且bc，则ac 。（其中a,b,c都是 确定的实数） x+y5 请打开书！ 您去吗？ 是命题例1-2.1 P：2是素数。 P：2不是素数 。例1-2.2 P：小王能唱歌。 Q：小王能跳舞。 PQ：小王能歌善舞。 例1-2.3. 灯泡或者 线路有故障。（析取“”） 例1-2.4. 第一节课上数学或者上英语。（异或 、排斥或 。即“”） 注意：P Q 与 (PQ)(QP ) 是一样的。 归纳自然语言中的联结词，定义了六个逻辑联结词，分别是：（1）否定 “ ” (
2、2) 合取 “ ” (3) 析取 “ ” (4) 异或 “ ” (5) 蕴涵 “ ” (6) 等价 “ ” 例1-2.5： P表示：缺少水分。 Q表示：植物会死亡。 PQ：如果缺少水分，植物就会死亡。 PQ：也称之为蕴涵式，读成 “P蕴涵Q”， “如果P则Q”。 也说成P是PQ 的前件，Q是PQ的后件。 还可以说P是Q的充分条件，Q是P的必要条件。 以下是关于蕴含式的一个例子 P：天气好。 Q：我去公园。 1.如果天气好，我就去公园。 2.只要天气好，我就去公园。 3.天气好，我就去公园。 4.仅当天气好，我才去公园。 5.只有天气好，我才去公园。 6.我去公园，仅当天气好。命题1.、2.、3
3、.写成： PQ 命题4.、5.、6.写成： QP例1-2.6： P：ABC 是等边三角形。 Q ：ABC是等角三角形。 PQ ：ABC 是等边三角形 当且仅当它是等角三角形。课后练习：填空已知PQ为T，则P为( )，Q为( )。已知PQ为F，则P为( )，Q为( )。已知P为F，则PQ为( )。已知P为T，则PQ为( )。已知PQ为T，且P为F ，则Q为( )。已知PQ为F，则P为( )，Q为( )。已知P为F，则PQ为( )。已知Q为T，则PQ为( )。已知 PQ为F，则P为( )， Q为( )。 已知P为T， PQ为T，则Q为( )。已知Q为T, PQ为T，则P为( )。已知PQ 为T ，
4、P 为T , 则Q 为( ).已知PQ 为F ，P 为T , 则Q 为( ).PP 的真值为( ).PP 的真值为( )。13节例1.说离散数学无用且枯燥无味是不对的。 P：离散数学是有用的。 Q：离散数学是枯燥无味的。 该命题可写成： (PQ)例2. 如果小张与小王都不去，则小李去。 P ： 小张去。 Q ： 小王去。 R ： 小李去。 该命题可写成： (PQ)R 如果小张与小王不都去，则小李去。 该命题可写成： (PQ)R 也可以写成： (PQ)R例3. 仅当天不下雨且我有时间，才上街。 P：天下雨。Q：我有时间。R：我上街。 分析：由于 “仅当 ”是表示 “必要条件 ”的，既 “天不下雨
5、且我有时间 ”，是 “我上街 ”的必要条件。所以 该命题可写成： R(PQ) 例4. 人不犯我，我不犯人；人若犯我，我必犯人。 P ： 人犯我。Q ： 我犯人。 该命题可写成：(PQ)(PQ)或写成： PQ例5 .若天不下雨，我就上街；否则在家。 P：天下雨。Q ：我上街。R：我在家。 该命题可写成： (PQ)(PR). 注意：中间的联结词一定是“”，而不是“”，也不是“ ”。14节重言(永真)蕴涵式证明方法方法1.列真值表。方法2.假设前件为真，推出后件也为真。例如求证： (AB)C)D(CD) AB证明:设前件(AB)C)D(CD) 为真则(AB)C)、D、(CD)均真， D为T，则D为F
6、 CD为T 得C为F (AB)C )为T 得AB为F 如果A为F，则A为T，所以AB为T。 如果B为F，则B为T，所以AB 为T。 (AB)C)D(CD) AB方法3.假设后件为假，推出前件也为假 。例如求证： (AB)C)D(CD) AB 证明: 假设后件AB 为F, 则A 与B 均为T 。 1. 如C 为F ，则(AB)C为F，所以 前件(AB)C)D(CD) 为F 。 2. 如C 为T ，则 若D 为T ，则D 为F ， 所以前件(AB)C)D(CD) 为假； 若D为F，则CD 为F ， 所以 前件(AB)C)D(CD) 为假。(AB)C)D(CD) AB重要的重言蕴涵式( 如教材第43
7、 页所示)（课件中出现过多次，可不用记忆） I1. PQP I2. PQQ I3. PPQ I4. QPQ I5. PPQ I6. QPQ I7. (PQ)P I8. (PQ)Q I9. P,Q PQ I10. P(PQ)Q I11. P(PQ)Q I12. Q(PQ)P I13. (PQ)(QR)PR I14. (PQ)(PR)(QR)R I15. AB (AC)(BC) I16. AB (AC)(BC)15节重要的等价公式（课件中出现多次，可不用记忆） 对合律 P P 幂等律 PPP PPP 结合律 P(QR)(PQ)R P(QR)(PQ)R 交换律 PQQP PQQP 分配律 P(QR)
8、(PQ)(PR) P(QR)(PQ)(PR) 吸收律 P(PQ)P P(PQ)P 底-摩根定律 (PQ)PQ (PQ)PQ 同一律 PFP PTP 零律 PTT PFF 互补律 PPT PPF PQ PQ PQ QP PQ (PQ)(QP) PQ (PQ)(PQ) PQ (PQ)(PQ )例题1. 求证吸收律 P(PQ)P证明 ： P(PQ) (PF)(PQ) (同一律) P(FQ) (分配律) PF (零律) P (同一律)例题2. 求证 (PQ)(PQ) P 证明 (PQ)(PQ) (PQ)(PQ) ( 公式E16) (PQ)(PQ) ( 摩根定律) (PQ)(PQ) ( 对合律) P(Q
9、Q) ( 分配律) PT ( 互补律) P ( 同一律) 公式E16 ： PQPQ 例题3.化简(PQ)(P(PQ)解 原公式(PQ)(PP)Q) (E16,结合) (PQ)(PQ) (对合律，幂等律) (PQ)(QP) (交换律) (PQ)Q)P (结合律) QP (吸收律)公式E16 ： PQPQ 1-6.范式(Paradigm) 例1. 求 PQ 和PQ的 主析取范式TTTTFFFTFTTFTTFFPQPQQP方法一：真值表 PQ m0m1m3 (PQ)(PQ)(PQ) PQm0m3 (PQ)(PQ)方法 ：用公式的等价变换 先写出给定公式的析取范式 A1A2.An 。 为使每个Ai 都
10、变成小项，对缺少变元的Ai 补全变元，比如缺变元R ， 就用 联结永真式(RR) 形式补R 。 用分配律等公式加以整理。 PQPQ(P(QQ)(P P) Q)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)思考题: 永真式的主析取范式是什么样 ？（包含所有小项） 例2.求 PQ 和PQ的 主合取范式TTTTFFFTFTTFTTFFPQPQQP PQ M2 PQ PQ M1M2 (PQ )(PQ)方法：用公式的等价变换 先写出给定公式的合取范式 A1A2.An 。 为使每个Ai 变成大项，对缺少变元的析取式Ai 补全变元，比如缺变元R ， 就用联 结永假式(RR) 形式补R 。 用分配律等公式加以整理。 例如，求(PQ)R 的主合取范式 (PQ)R
