离散数学习题集及答案 第2-3章 数理逻辑无答案.pdfVIP

第2-3 章 一．选择/填空 1、下列公式中哪些是永真式？( ) (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 ∧ ∧ ∧ ∨ (4)P (P→Q)=Q (5) (P→Q)=P (6) P (P Q)= P ∧ ? ? ∧ ∨ ? 3、下列语句中是命题且命题的真值为1 的是：( ) (1)北京是中华人民共和国的首都。 (2) 北京理工大学珠海学院是一座工厂。 (3) 你喜欢唱歌 吗？ (4) 若7+8＞18，则三角形有4 条边。 (5) 前进！ (6) x=9 4 （选做）、设谓词P(x)：x 是奇数，Q(x)：x 是偶数，谓词公式 ?x(P(x)∨Q(x))在哪个个体域中为 真?( ) (1) 自然数 (2) 实数 (3) 复数 (4) (1)-- (3)均成立 5 （选做）、谓词公式?x(P(x)∨ ?yR(y))→Q(x)中量词?x 的辖域是（ ）。 6 （选做）、令R(x):x 是实数，Q(x):x 是有理数。则命题“并非每个实数都是有理数”的符号化表 示为（ ）。 7 （选做）、公式?x((A(x)→B(y，x))∧?z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。 8 （选做）、设全体域D 是正整数集合，确定下列命题的真值： (1) ?x?y (xy=y) ( ) (2) ?x?y(x+y=y) ( ) (3) ?x?y(x+y=x) ( ) (4) ?x?y(y=2x) ( ) 9 （选做）、谓词公式?xP (x) →?xQ (x) 的前束范式是__ _________ 。 P → → 10、与命题公式 (Q R) 等值的公式是（ ） （A ） （B ）(P ∧Q) →R （C ）P →(Q ∧R) （D ） ( ) (P ∨Q) →R P → Q ∨R 二．综合题 1、用推理规则证明： A B C D B E D F E F A C ∨ ∧ ? ∨ ? ∧ → ( → ) ∧( → ) , (? ) ( ) , ( ) , ? A A B C C A D ??D 2 、用推理规则证明 → , (?B ∨ ) ∧? ,?(? ∧ ) 。（10 分） 3、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式 4 、C∨D, (C∨D)→ ?E, ?E→(A∧?B), (A∧?B)→(R∨S)?R∨S 5、求命题公式(?P→Q)→(P∨?Q) 的主析取范式和主合取范式 6、(P→(Q→S))∧(?R∨P)∧Q?R→S 1 7、求┐(P→Q) ?(P→┐Q) 的主合取范式并给出所有使命题为真的赋值。 8 （选做）、求公式┐(( ?x)F(x,y)→( ?y)G(x,y)) ∨( ?x)H(x) 的前束范式。 9、如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI 语言而且学过C++ 语言。只要他学过DELPHI 语言或者C++语言，那么他就会编程序。因此如果他是计算机系