离散数学练习 第2-3章 数理逻辑（含答案.docxVIP

第 2-3 章一．选择/填空1、下列公式中哪些是永真式？(（2）（3）（4）)(1)(┐P?? Q)→(Q→?? R) (2)P→(Q→Q) (3)(P?? Q)→P(4)P→(P?? Q)2、设有下列公式，请问哪几个是永真蕴涵式?((1)P=P?? Q (2) P?? Q=P (3) P?? Q=P?? Q（2）（3）（4）（5）（6）)(4)P?? (P→Q)=Q(5)?? (P→Q)=P(6)?? P?? (P?? Q)=?? P3、下列语句中是命题且命题的真值为 1 的是：(（1）（4）)(1)北京是中华人民共和国的首都。 (2)北京理工大学珠海学院是一座工厂。(3) 你喜欢唱歌吗？(4)若 7+8＞18，则三角形有 4 条边。(5) 前进！(6)x=94、设谓词 P(x)：x 是奇数，Q(x)：x 是偶数，谓词公式??x(P(x)?Q(x))在哪个个体域中为真?(（4）)(1) 自然数(2) 实数(3) 复数(4)(1)--(3)均成立5、谓词公式?x(P(x)???yR(y))?? Q(x)中量词?x 的辖域是（答：P(x)???yR(y)）。6、令 R(x):x 是实数，Q(x):x 是有理数。则命题“并非每个实数都是有理数”的符号化表示为（答：????x(R(x)??Q(x))）。7、公式?x((A(x)?B(y，x))???z C(y，z))?D(x)中，自由变元是(答：x,y,x,z8、设全体域 D 是正整数集合，确定下列命题的真值：)，约束变元是()。(1)??x?y (xy=y)(3)??x?y(x+y=x)(())(2)??x?y(x+y=y)(4)??x?y(y=2x)(())答：（1） F （2） F（3）F（4）T9、谓词公式??xP(x)????xQ(x)的前束范式是__ ?x?y?P(x)∨Q(y) __________。10、与命题公式 P?? (Q?? R) 等值的公式是（B）（A） (P?? Q)?? R （B） (P?? Q)?? R （C） P?? (Q?? R) （D） P?? (Q?? R)二．综合题1、用推理规则证明：( A?? B)?? (C?? D) , (?B?? E)?? (?D?? F ) ,??(E?? F ) ,A?? C ├ A证明：（1）A（2） A?? C（3）CP（附加前提）PT（1）（2）I1（4） ( A?? B)?? (C?? D)（5） C?? D（6）D（7） (?B?? E)?? (?D?? F )（8） (B?? E)?? (D?? F )（9） D?? F（10）F（11） A?? B（12）B（13） B?? E（14）E（15） E?? F（16）??(E?? F )（17） (E?? F )????(E?? F )PT（4）IT（3）（5）IPT（7）ET（8）IT（6）（9）IT（4）IT（1）（11）IT（8）IT（12）（13）IT（10）（14）IPT（15）（16）I∴结论有效。2、用推理规则证明 A?? B, (?B?? C)????C,??(?A?? D)????D 。（10 分）证明：编号（1）（2）（3）（4）（5）（6）（7）（8）公式（?B∨C）∧?C?B∨C，?C?BA→B?A?（?A∧D）A∨?D?D依据前提（1）（2）（3）（3）（4）前提（6）（5）（6）3、求命题公式(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)∨(?P∧?R))∨(P∧Q∧R)?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R)?m0∨m1∨m2∨m72?M3∨M4∨M5∨M64、C∨D, (C∨D)???E,??E?(A∧?B), (A∧?B)?(R∨S)?R∨S证明：(1) (C∨D)??E(2)??E?(A∧?B)(3) (C∨D)?(A∧?B)(4) (A∧?B)?(R∨S)(5) (C∨D)?(R∨S)前提前提（1）（2）前提（3）（4）(6) C∨D(7) R∨S前提（5）（6）5、求命题公式(?P?Q)?(P∨?Q) 的主析取范式和主合取范式解：(?P?Q)?(P∨??Q)??(?P?Q)∨(P∨??Q)??(P∨Q)∨(P∨??Q)?(?P∧??Q)∨(P∨??Q)?(?P∨P∨?Q)∧(?Q∨P∨?Q)?(P∨?Q)?M1?m0∨m2∨m36、(P?(Q?S))∧(?R∨P)∧Q?R?S证明：（1）R(2)?R∨P(3)P(4)P?(Q?S)(5)Q?S(6)Q(7)S附加前提前提(1)(2)前提(3)(4)前提(5