离散数学习题集及答案 第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) 的前束范式是__ _________ 。 10、与命题公式P ?(Q ?R) 等值的公式是（ ） （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 2 、用推理规则证明A ?B,(?B ?C) ??C,?(?A ?D) ??D 。（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 7、求┐(P→Q) ?(P→┐Q)的主合取范式并给出所有使命题为真的赋值。 8、求公式┐(( ?x)F(x,y)→( ?y)G(x,y)) ∨( ?x)H(x) 的前束范式。 1 9、如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI 语言而且学过C++ 语言。只要他学过DELPHI 语言或者C++语言，那么他就会编程序。因此如果他是计算机系本 科生，那么他就会编程序。请用命题逻辑推理方法，证明该推理的有效结论。 10、用构造证明法证明A ?(B ?C) ，(E ??F ) ??C ，B ?(A ??S) ?B ?E 。 11、求下列各公式的主析取范式和主合取范式，并给出其成真赋值和成假赋值： a、(P→Q) R b、Q→(P ?R) ? ? c、P→(P (Q→P)) d、P ( P? (Q ( Q?R))) ?