第一篇 数理逻辑复习题
数理逻辑复习题
数理逻辑复习题一、填空1、数理逻辑中公式的三种类型是、和。
2、设p：我说谎；q：太阳从西边出来；则p q⌝→表示；()∧→=。
p q p3、命题是具有真值的。
4、设p：这门课让人喜欢；q：这本书有趣；r：这本书习题很难；则下列语句：1）若这本书有趣，习题也不很难，则这门课就不会让人喜欢。
2）这本书没趣，习题也不很难，并且这门课不让人喜欢。
3）这门课让人喜欢当且仅当这本书有趣且这本书习题不很难。
符号化为1）；2）；3）。
5、p p p→→=。
二、选择1、下列语句中，真命题是；A B、全体起立！；C、2是素数⇔三角形有三条边；D、4是2的倍数或是3的倍数吗2、p：张三可做此事；q：李四可做此事；“张三可做此事或李四不可做此事”符号化为；A、p q∧⌝；B、p q∨⌝；C、()⌝∧p qp q⌝∨；D、()3、下列语句中，真命题是；A、我正在说谎；B、这句话是错的；C、若1+2=3则雪是黑的；D、若1+2=5则1=2；4、下列哪个公式是永真式；∧→；A、()()p q q p→∧→；B、p q pC、()()p q⌝∨⌝∨∧⌝⌝∧⌝；D、()p q p q三、判断1、语句“豆沙包是由面粉和红小豆做成的”是命题逻辑中的复合命题（）2、任何命题公式都存在唯一与之等值的主析取范式，相应的主合取范式则不唯一（）3、所谓的“自然推理系统”是指，从任意给定的前提出发，应用系统中的推理规则进行推理演算，最后得到的命题公式是推理的结论，这个结论肯定是有效的结论。
（）4、在一阶逻辑（谓词逻辑）中，同一个公式在不同的解释下，其真假值可能不同（）5、在一阶逻辑公式中，换名规则是对量词辖域中的自由变元而言的（）6、语句“爱美之心人皆有之”可以用命题逻辑中的简单命题来描述（）7、所谓的“推理是有效的”是指该推理的前提和结论都是正确的（）8、由于引入了论域的概念，在一阶逻辑中，不存在永真或永假的公式（）9、在一阶逻辑（谓词逻辑）中，量词也存在分配律，全称量词对合取存在分配律，存在量词对析取存在分配律（）四、综合1、求()→↔的主合取范式；p q r2、前提：(),,,∧→⌝∨⌝p q r r s s p结论：q⌝3、求()→↔的主析取范式和成真赋值；p q r。
数理逻辑复习题
一、选择题1、永真式的否定是（2）(1) 永真式 (2) 永假式 (3) 可满足式 (4) (1)--(3)均有可能2、设P ：2×2=5，Q ：雪是黑的，R ：2×4=8，S ：太阳从东方升起，则下列真命题为(1) (1)R Q P ∧→ (2)S P R ∧→ (3)R Q S ∧→ (4) )()(S Q R P ∧∨∧。
3、设P ：我听课，Q ：我看小说，则命题R “我不能一边听课，一边看小说”的符号化为⑵ ⑴ P Q → ⑵Q P ⌝→(3) Q P →⌝ ⑷ P Q ⌝→⌝()P Q ⌝∧ 提示：()R P Q P Q ⇔⌝∧⇔→⌝4、下列表达式错误的有⑷⑴()P P Q P ∨∧⇔ ⑵()P P Q P ∧∨⇔ ⑶()P P Q P Q ∨⌝∧⇔∨ ⑷()P P Q P Q ∧⌝∨⇔∨ 5、下列表达式正确的有⑷⑴ P P Q ⇒∧ ⑵ P Q P ⇒∨ ⑶ ()Q P Q ⌝⇒⌝→⑷Q Q P ⌝⇒→⌝)( 6、下列联接词运算不可交换的是(3)⑴∧ ⑵∨ (3)→ ⑷ ↔6、设D ：全总个体域，F （x ）：x 是花，M(x) ：x 是人，H(x,y)：x 喜欢y ，则命题“有的人喜欢所有的花”的逻辑符号化为⑷⑴(()(()(,))x M x y F y H x y ∀∧∃→ ⑵(()(()(,))x M x y F y H x y ∀∧∀→ (3) (()(()(,))x M x y F y H x y ∃∧∃→ ⑷(()(()(,))x M x y F y H x y ∃∧∀→7、设L(x)：x 是演员，J(x)：x 是老师，A(x , y)：x 钦佩y ，命题“所有演员都钦佩某些老师”的逻辑符号化为⑵⑴)),()((y x A x L x →∀ ⑵))),()(()((y x A y J y x L x ∧∃→∀ (3) )),()()((y x A y J x L y x ∧∧∃∀ ⑷)),()()((y x A y J x L y x →∧∃∀ 8、谓词公式)())()((x Q y yR x P x →∃∨∀中的 x 是⑶⑴自由变元 ⑵约束变元 ⑶既是自由变元又是约束变元 ⑷既不是自由变元又不是约束变元 9、下列表达式错误的有⑴⑴(()())()()x A x B x xA x xB x ∀∨⇒∀∨∀ ⑵(()())()()x A x B x xA x xB x ∃∧⇒∃∧∃ (3) (()())()()x A x B x xA x xB x ∀∧⇔∀∧∀ ⑷(()())()()x A x B x xA x xB x ∃∨⇔∃∨∃10、下列推导错在⑶①)(y x y x >∃∀ P ②)(y z y >∃ US ① ③)(z C z > ES ② ④)(x x x >∀UG ③⑴② ⑵③ ⑶④ ⑷无 11、下列推理步骤错在⑶①(,)x yF x y ∀∃ P ②),(y z yF ∃ US ① ③),(c z F ES ② ④),(c x xF ∀ UG ③ ⑤),(y x xF y ∀∃EG ④ ⑴①→② ⑵②→③ ⑶③→④ ⑷④→⑤12、设个体域为{a,b}，则(),x yR x y ∀∃去掉量词后，可表示为⑷⑴()()()(),,,,R a a R a b R b a R b b ∧∧∧ ⑵()()()(),,,,R a a R a b R b a R b b ∨∨∨ (3) ()()()()()()b b R a b R b a R a a R ,,,,∨∧∨ ⑷()()()()()()b b R a b R b a R a a R ,,,,∨∧∨ 提示：原式()()()()()()()(),,,,,,yR a y yR b y R a a R a b R b a R b b ⇔∃∧∃⇔∨∧∨二、填充题1、一个命题含有n 个原子命题，则对其所有可能赋值有2n种。
第一章数字逻辑基础思考题与习题
第一章 数字逻辑基础 思考题与习题题1-1将下列二进制数转换为等值的十六进制数和等值的十进制数。
⑴（10010111）2 ⑵（1101101）2⑶（0.01011111）2⑷（11.001）2题1-2将下列十六进制数转换为等值的二进制数和等值的十进制数。
⑴（8C ）16 ⑵（3D.BE ）16⑶（8F.FF ）16⑷（10.00）16题1-3将下列十进制数转换为等值的二进制数和等值的十六进制数。
要求二进制数保留小数点以后4位有效数字。
⑴（17）10⑵（127）10⑶（0.39）10 ⑷（25.7）10题1-4将十进制数3692转换成二进制数码及8421BCD 码。
题1-5利用真值表证明下列等式。
⑴))((B A B A B A B A ++=+ ⑵AC AB C AB C B A ABC +=++⑶A C C B B A A C C B B A ++=++ ⑷E CD A E D C CD A C B A A ++=++++)( 题1-6列出下列逻辑函数式的真值表。
⑴ C B A C B A C B A Y ++=⑵Q MNP Q P MN Q P MN PQ N M Q NP M PQ N M Y +++++=题1-7在下列各个逻辑函数表达式中，变量A 、B 、C 为哪几种取值时，函数值为1？⑴AC BC AB Y ++= ⑵C A C B B A Y ++=⑶))((C B A C B A Y ++++= ⑷C B A BC A C B A ABC Y +++=题1-8用逻辑代数的基本公式和常用公式将下列逻辑函数化为最简与或形式。
⑴ B A B B A Y ++=⑵C B A C B A Y +++=⑶B A BC A Y += ⑷D C A ABD CD B A Y ++= ⑸))((B A BC AD CD A B A Y +++= ⑹)()(CE AD B BC B A D C AC Y ++++= ⑺CD D AC ABC C A Y +++=⑻))()((C B A C B A C B A Y ++++++= 题1-9画出下列各函数的逻辑图。
华南师范大学 离散数学数理逻辑-复习题
p ∧ r ∧ ¬(q → p)
⇔ p ∧ r ∧ ¬(¬q ∨ p)
蕴含等值式
永假式！
⇔ p ∧ r ∧ (q ∧ ¬p) ⇔ ( p ∧ ¬p) ∧ r ∧ q ⇔0
德摩根定律 结合律 否定律（矛盾律）
数理逻辑——复习题
解2：真值表法 p∧r∧¬(q→p)
永假式！
p
qr
q → p ¬(q → p)
= m1 ∨ m2 ∨ m7 A的成假赋值:000，011，100，101，110 (与其成真赋值互补) ﹁A的极小项：000：﹁p∧﹁q∧﹁r， 011：﹁ p∧q∧r，
100：p∧﹁q∧﹁r， 101：p∧﹁q∧r， 110：p∧q∧﹁r
数理逻辑——复习题
﹁ A的主析取范式：（其所有极小项之和）
数理逻辑——复习题
例4 (1)已知命题公式A中含3个命题变项p, q, r,并知道它的成 真赋值为001, 010, 111, 求A的主析取范式和主合取范式。 解：成真赋值对应于极小项： 001：﹁p∧﹁q∧r, 010： ﹁ p∧q∧﹁r, 111：p ∧ q ∧ r 由所有的极小项之和可写出A的主析取范式： A=(﹁p∧﹁q∧r)∨(﹁ p∧q∧﹁r)∨(p ∧ q ∧ r)
谓词逻辑的推理规则
推理规则
∀xP ( x) ∴ P(c), 若c ∈U (U为个体域 )
P(c), 对任意 c ∈ U (U为个体域 ) ∴ ∀xP ( x)
∃xP ( x) ∴ P(c), 对某个特定元素 c ∈U (U为个体域 )
P(c), 对某个元素 c ∈ U ,U为个体域 ∴ ∃xP ( x)
② ¬H(c)
①存在量词消去
③ ∀x(G(x)∨H(x)) 前提引入
数理逻辑复习题
数理逻辑复习题复习要求： 掌握命题、逻辑联结词的概念；公式与解释的概念，用基本等价式化简其他公式；会用真值表法和主范式判断公式的类型；公式蕴涵与逻辑结果的概念；形式演绎方法判断公式的类型；公式蕴涵与逻辑结果的概念；形式演绎方法..一阶逻辑的基本概念，一阶逻辑公式及其解释，等值演算，推理理论；一阶逻辑公式的三种类型，即逻辑有效式（永真式），矛盾式和可满足式；用联结词产生复合命题的方法；公式在解释下的真值；公式范式的概念；形式演绎和蕴涵的关系生复合命题的方法；公式在解释下的真值；公式范式的概念；形式演绎和蕴涵的关系..命题逻辑与一阶逻辑推理理论理理论. .一、命题逻辑部分1、填空题.⑴ 公式（p ÙØq ）Ú（Øp Ùq ）的成真赋值为）的成真赋值为 01，10 .⑵ 设p 、r 为真命题，q 、s 为假命题，则复合命题（p ®q ）«（Ør ®s ）的真值为）的真值为 0 . ⑶ 设p 、q 为命题，在为命题，在 p 、q 不能同时发生不能同时发生 条件下，p 与q 的排斥或也可以写成p 与q 的相容或.⑷ 设A 为任意公式，B 为重言式，则A ÚB 的类型是的类型是 重言式重言式⑸ 设A 是含命题变项p 、q 、r 的重言式，则公式A Ú（（p Ùq ）®r ）的类型为重言式.⑹ 设B 是含命题变项p 、q 、r 的矛盾式，则公式B Ù（（p «q ）®r ）的类型为矛盾式）的类型为矛盾式 . ⑺ 矛盾式的主析取范式是矛盾式的主析取范式是 0 .⑻ 重言式的主合取范式是重言式的主合取范式是 1 .⑼ 设公式A 含命题变项p 、q 、r 已知A 主合取范式是M 0ÙM 2ÙM 5ÙM 6，则A 的主析取范式是的主析取范式是 .⑽ 已知公式Ø（q ®p ）Ùp 是矛盾式，则公式Ø（q ®p ）Ùp ÙØr 的成真赋值是的成真赋值是 成假赋值 .⑾已知公式（p ®（p Úq ））Ù（（p Ùq ）®p ）是重言式，公式p ®（p Úq ）及（p Ùq ）®p 类型是 .⑿已知公式（p Ùq ）®p 是重言式，则公式（（p Ùq ）®p ）Úr 的成真赋值是的成真赋值是 成假赋值 .⒀（A ®B ）ÙØB Þ 为拒取式推理定律.⒁（A ÚØB ）ÙB Þ 为析取三段论推理定律.⒂（ØA ®B ）Ù（B ®ØC ）Þ 为假言三段论推理定律.⒃（ØA ®ØB ）ÙØA Þ 为假言推理定律.2、将下列命题或语句符号化. ⑴ 说7不是无理数是不对的. ØØp （p ）⑵ 小刘既不怕苦，又很钻研. Øp Ùq⑶ 只有不怕困难，才能战胜困难只有不怕困难，才能战胜困难 q ®Øp⑷ 只要别人有困难，老王就帮助别人，除非问题解决了. Ør ®（p ®q ）；（Ør Ùp ）®q 或Øq ®（Øp Úr ） ⑸ 整数n 是偶数当且仅当n 能被2整除. p «q ⑹ 若地球上没有树木，则人类不能生存. q p Ø®Ø⑺ 若422=+，则地球是静止不动的. q p ®3、求下列复合命题真值. P ：2能整除5，q ：旧金山美国的首都，r ：一年有四季：一年有四季⑴（（p Úq ）®r ）Ù（r ®（p Ùq ）⑵（（Øq «p ）®（r Úp ））Ú（（Øp ÙØq ）ÚØr ）4、判断下面一段论述是否为真：“3是无理数.并且，如果3是无理数，则2也是无理数.另外，只有6能被22⑥ p ÙØq ®r 前提引入前提引入⑦ r ⑤ ⑥假言推理⑥假言推理二、一阶逻辑部分1.在一阶逻辑中将下列命题符号化.⑴ 所有的整数，不是负整数，就是正整数，或者是零. 解 F （x ）：x 是整数G （x ）：x 是正整数H （x ）：x 是负整数L （x ）：x 是0 "x （F （x ）® G （x ）ÚH （x ）ÚL （x ））或"x （F （x ）ÙØ G （x ）®H （x ）ÚL （x ）） ⑵ 有的实数是有理数有的实数是无理数. 解 F （x ）：x 是实数是实数 G （x ）：x 是有理数是有理数H （x ）：x 是无理数是无理数 $x （F （x ）ÙG （x ））Ù$y （F （y ）Ù H （y ）） ⑶ 不存在能表示成分数无理数. 解 F （x ）：x 能表示成分数能表示成分数 G （x ）：x 是无理数是无理数Ø$x （G （x ）Ù F （x ））Û"x （G （x ）®Ø F （x ）） ⑷ 若x 、y 都是实数，且x>y ，则x+2>y+2. 解 F （x ）：x 是实数是实数 H （x ，y ）：x>y "x "y （F （x ）ÙF （y ）Ù H （x ，y ）® H （x+2，y+2）） ⑸不存在最大的自然数. 解 F （x ）：x 是自然数是自然数 H （x ，y ）：x>y Ø$x （F （x ）Ù"y （F （y ）® H （x ，y ））⑹ 在北京卖菜的人不全是外地人. 解 设)(x M ：x 是外地人. )(x F ：x 在北京卖菜. 则符号化为))()((x F x M x ÙØ$. ⑺ 设：)(x M ：x 是火车. )(x H ：x 是轮船. )(x F ：x 是汽车. ),(y x G ：x 比y 快. 则“火车都比轮船快.”符号化为)),()()((y x G y H x M y x ®Ù"". 则“有的火车比有的汽车快.”符号化为)),()()((y x G y F x M y x ÙÙ$$. 则“不存在比所有火车都快的汽车.”符号化为)))),()(()(((y x G y M y x F x ®"Ù$Ø. 4、 指出下列公式中的指导变元，量词的辖域，各个体变项的自由出现和约束出现：指出下列公式中的指导变元，量词的辖域，各个体变项的自由出现和约束出现：（1）)),()((y x G x F x ®"解 x "的辖域：),()(y x G x F ®.x 是指导变元. x 是约束出现，y 是自由出现. （2）),(),(y x yG y x xF $®"解 x "的辖域：),(y x F .x 是指导变元. x 是约束出现，y 是自由出现. y $的辖域：),(y x G .y 是指导变元. x 是自由出现，y 是约束出现. 5、 证明下面公式既不是永真式也不是矛盾式：证明下面公式既不是永真式也不是矛盾式：（1）))),()(()((y x H y G y x F x Ù$®"证明1解释1I ：R D =，)(x F ：x 是正数.)(y G ：y 是负数.),(y x H ：0=+y x . ))),()(()((y x H y G y x F x Ù$®"指对任意正数x ，存在负数y ，使得0=+y x .在该解释下，命题为“真”. 2解释2I ：}3,2,1{-=D ，)(x F ：x 是正数.)(y G ：y 是负数.),(y x H ：0=+y x .则对1=x 时，不存在负数D y Î，使0=+y x ，故在该解释下，命题为“假”，所以（1）公式既不是永真式也不是矛盾式. （2）)),()()((y x H y G x F y x ®Ù""6、设个体域},,{c b a D =，消去下列各式的量词：，消去下列各式的量词：（1）))()((y G x F y x Ù$")))()(((y G a F y Ù$Û)))()(((y G b F y Ù$Ù)))()(((y G c F y Ù$ÙÚÙÛ))()(((a G a F ÚÙ))()((b G a F ÙÙ)))()((c G a F ÚÙ))()(((a G b F ÚÙ))()((b G b F ÙÙ)))()((c G b F ÚÙ))()(((a G c F ÚÙ))()((b G c F )))()((c G c F Ù（2）))()((y G x F y x Ú"")))()(((y G a F y Ú"Û)))()(((y G b F y Ú"Ù)))()(((y G c F y Ú"ÙÙÚÛ))()(((a G a F ÙÚ))()((b G a F ÙÚ)))()((c G a FÙÚ))()(((a G b F ÙÚ))()((b G b F ÙÚ)))()((c G b FÙÚ))()(((a G c F ÙÚ))()((b G c F )))()((c G c F Ú7、求前束范式⑴Ø$x "yF （x ，y ）（Û "x $y ØF （x ，y ））⑵（$xF （x ，y ）®"yG （x ，y ，z ））®$z H （z ）. （Û$x $y $z （F （x ，t ）®G （u ，y ，v ）®H （z ）））⑶Û"®"),()(y x yG x xF ),()(y z yG x xF "®")),()((y z G x F y x ®"$Û⑷ Û$®")),,(),((z y x yG y x F x Û$®")),,(),((z y x yG t x F x )),,(),((z y x G t x F y x ®$" ⑸ Û$«"),(),(y x xG y x xF ),(),(y z zG t x xF $«")),(),(()),(),((t x xF y z zG y z zG t x xF "®$Ù$®"Û)),(),(()),(),((h r rF g s sG y z G t x F z x "®$Ù®$$Û)),(),(()),(),((h r F g s G r s y z G t x F z x ®""Ù®$$Û))),(),(()),(),(((h r F g s G y z G t x F r s z x ®Ù®""$$Û8、在自然推理系统在自然推理系统N L 中构造下面推理的证明. ⑴前提：$xF （x ）®"y （G （y ）®H （y ）），$xR （x ）®$yG （y ）结论：$x （ F （x ）Ù R （x ））®$x H （x ）证明1 ⑴ $x （ F （x ）Ù R （x ））⑵ F （c ）Ù R （c ）⑶ F （c ）⑷ R （c ）⑸ $x F （x ）⑹$xF （x ）®"y （G （y ）®H （y ））⑺ "y （G （y ）®H （y ））⑻ G （c ）®H （c ）⑼R （c ）⑽$x R （x ）⑾$xR （x ）®$yG （y ）⑿$yG （y ）⒀G （c ）⒁H （c ）⒂$x H （x ）证明2： ⑴$x （ F （x ）Ù R （x ））⑵$x F （x ）Ù$x R （x ））⑶$x F （x ）⑷$xF （x ）®"y （G （y ）®H （y ））⑸"y （G （y ）®H （y ））⑹G （c ）®H （c ）⑺$xR （x ）®$yG （y ）⑻$x R （x ））⑼$yG （y ）⑽G （c ）⑾H （c ）⑿$x H （x ）⑵人都喜欢吃蔬菜.但说所有的人都喜欢吃鱼是不对的.所以存在只喜欢吃蔬所以存在只喜欢吃蔬菜而不喜欢吃鱼的人. F （x ）：x 是人是人G （x ）：喜欢吃蔬菜：喜欢吃蔬菜 H （x ）：喜欢吃鱼：喜欢吃鱼前提："x （F （x ）®G （x ）） Ø"x （F （x ）®H （x ））结论：$x （ F （x ）Ù G （x ）ÙØH （x ））证明：证明： ⑴⑴ Ø"x （F （x ）®H （x ）） ⑵$ x Ø（F （x ）®H （x ））⑶$ x （F （x ）ÙØH （x ））⑷F （c ）ÙØH （c ）⑸"x （F （x ）®G （x ））⑹F （c ）®G （c ）⑺ F （c ）⑻ G （c ）⑼F （c ）ÙØH （c ）Ù G （c ）⑽$x （ F （x ）Ù G （x ）ÙØH （x ））⑶任意三角形的内角和等于1800，ABC 三角形，则ABC 的内角和等于1800. 证明 设F （x ）：x 是三角形是三角形 G （x ）：x 的内角和等于1800 a ：ABC 前提："x （F （x ）®G （x ）） F （a ）结论：结论： G （a ）证明：证明： ⑴"x （F （x ）® G （x ）） ⑵F （a ）® G （a ）⑶F （a ）⑷G （a ）（4）每个喜欢步行的人都不喜欢骑自行车.每个人或者喜欢骑自行车或者喜欢乘汽车.有的人不喜欢乘汽车.所以有的人不喜欢步行.（个体域为人类集合）. 证明 设F （x ）：x 喜欢步行喜欢步行 G （x ）：x 喜欢骑自行车喜欢骑自行车 H （x ）：x 喜欢乘车喜欢乘车｛"x （F （x ）®Ø G （x ）），"x （G （x ）Ú H （x ），$x ØH （x ））®$x ØF （x ）① $x ØH （x ）② ØH （c ）③ "x （G （x ）Ú H （x ））④ G （c ）Ú H （c ）⑤ G （c ）⑥ "x （F （x ）®Ø G （x ））⑦ F （c ）®Ø G （c ）⑧ Ø F （c ）⑨$x ØF（x）(5)每个科学工作者都是刻苦钻研的，每个刻苦钻研而有聪明的人在他的事业中都将获得成功.王大海是科学工作者，并且是聪明的所以王大海在他的事业中将获得成功（个体域为人类集合）. 聪明喜欢钻研 H（x）：x聪明证明设F（x）：x是科学工作者是科学工作者 G（x）：x喜欢钻研W（x）：x事业成功：王大海事业成功 a：王大海｛"x（F（x）®G（x）），"x（G（x）ÙH（x）®W（x）），F（a），H（a）｝®W（a）①"x（F（x）®G（x））②F（a）®G（a））③"x （G（x）ÙH（x）®W（x））④G（a）ÙH（a）®W（a）⑤F（a）⑥G（a）⑦H（a）⑧G（a）ÙH（a）⑨W（a）。
数理逻辑复习题
数理逻辑练习题1. 下列表达式正确的有( )A. (P Q) QB. P QPC.(P Q) (P Q) PD. P (P Q) T2. 下列推理步骤错在( )① x(F(x) G(x)) P② F(y) G(y) USD③xF(x) P④ F(y) ES③⑤ G(y) T②④I⑥xG(x) E(⑤A.②B.④C.⑤D.⑥3. 设P: 2X2=5, Q:雪是黑的，R: 2X4=8, S:太阳从东方升起, 下列( )命题的真值为真。
A. P Q RB. R P SC. S Q RD. (P R) (Q S)4. 下列公式中哪些是永真式？( )A. ( n P Q)T(Q- R)B.P-(Q-Q)C.(P Q)—PD.P- (P Q)5. 下列等价关系正确的是( )A. x(P(x) Q(x)) xP(x) xQ(x)B. x(P(x) Q(x)) xP(x) xQ(x)C. x(P(x) Q) xP(x) Q6.7.8.9. D. x(P(x) Q) xP(x) Q列推导错在( )①x y(x y)P②y(z y)USD③ z z ES②④x(x x)U(③A. ②B. ④C. ③若公式(P Q) ( P R)的主合取范式为( )A. m001 m011 m110 m111C. M 001 M 011 M 110 M 111D.无的主析取范式为B. M 000D. m000m001M 010m010m011M 100m100m110M101m101 。
在下述公式中不是重言式为A．(P Q) (P Q) B．(P Q) ((PC．(P Q) QD．P (P Q)下列各式中哪个不成立( )A. x(P(x) Q(x)) xP(x) xQ(x)B. x(P(x) Q(x)) xP(x) xQ(x)C. x(P(x) Q(x)) xP(x) xQ(x)D. x(P(x) Q) xP(x) QQ) (Q P))10. 命题“尽管有人聪明，但未必一切人都聪明”的符号化(m111则它P(x) ：x是聪明的，M(x) ：x 是人)( )A. x(M (x) P(x)) ( x(M (x) P(x)))B. x(M(x) P(x)) ( x(M (x) P(x)))C. x(M(x) P(x)) ( x(M(x) P(x)))B. 约束变元C. 既是自由变元又是约束变元D. 既不是自由变元又不是约束变元12. 命题“有的人喜欢所有的花”的逻辑符号化为 ( )设D:全总个体域，F (x ): x 是花，M(x) : x 是人，H(x,y) : x 喜欢 y A.x(M (x)y(F(y) H(x,y))) B. x(M (x) y(F(y) H(x,y))) C. x(M (x)y(F(y) H (x, y))) D. x(M(x)y(F(y)H(x,y)))13. 下列等价式成立的有 ( ) A. P Q P Q B. P (P R) R C. P (P Q) Q D. P (Q R) (P Q) R14. 给定公式xP(x) xP(x)，当D={a,b}时，解释()使该公式真 值为 0。
离散1(数理逻辑)复习题
离散数学1（数理逻辑）复习题一、单项选择题在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1．下列为两个命题变元P，Q的小项是（）A．P∧Q∧⎤ P B．⎤ P∨Q C．⎤ P∧Q D．⎤ P∨P∨Q2．下列语句中是真命题的是（）A．我正在说谎B．严禁吸烟C．如果1+2=3，那么雪是黑的D．如果1+2=5，那么雪是黑的3．设P：我们划船，Q：我们跑步。
命题“我们不能既划船又跑步”符号化为（）A．⎤ P∧⎤ Q B．⎤ P∨⎤ Q C．⎤（P↔Q）D．⎤（⎤ P∨⎤ Q）4．命题公式（P∧（P→Q））→Q是（）A．矛盾式B．蕴含式C．重言式D．等价式5．命题公式⎤（P∧Q∧R）的成真指派是（）A．000，001，110 B．001，011，101，110，111C．全体指派D．无6．在公式（）F（x，y）→（y）G（x，y）中变元x是（）A．自由变元B．约束变元C．既是自由变元，又是约束变元D．既不是自由变元，又不是约束变元二、填空题请在每小题的空格中填上正确答案。
错填、不填均无分。
1．（）（y）（P（x，y）Q（y，z））∧x P（x，y）中的辖域为________，x的辖域为________。
2．两个重言式的析取是________式，一个重言式与一个矛盾式的析取是________式。
三、计算题1．构造命题公式（（P∧Q）→P）∨R的真值表。
2．求下列公式的主合取范式和主析取范式：P∨（⎤ P→（Q∨（⎤ Q→R）））四、证明题构造下面推理的证明。
如果小张和小王去看电影，则小李也去看电影。
小赵不去看电影或小张去看电影。
小王去看电影。
所以，当小赵去看电影时，小李也去。
一、单项选择题(30分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。
1.命题公式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(┐a∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)2.设解释R如下：论域D为实数集，a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R下为真的是( )A.(∀x)(∀y)(∀z)(A(x,y))→A(f(x,z),f(y,z))B.(∀x)A(f(a,x),a)C.(∀x)(∀y)（A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))3.设B是不含变元x的公式，谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B4.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元5.若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q6.以下命题公式中，为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(20分)1.使公式(∃x)( ∃y)(A(x)∧B(y))⇔(∃x)A(x)∧(∃y)B(y)成立的条件是______不含有y，______不含有x。
数理逻辑考试题及答案
数理逻辑考试题及答案数理逻辑考试题及答案 IMB standardization office【IMB 5AB- IMBK 08- IMB 2C】“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━一、命题逻辑基本知识（5分）1、将下列命题符号化（总共4题，完成的题号为学号尾数取4的余，完成1题。
共2分）（0）小刘既不怕吃苦，又爱钻研。
解：p∧q，其中，P：小刘怕吃苦；q：小刘爱钻研。
（1）只有不怕敌人，才能战胜敌人。
解：q→p，其中，P：怕敌人；q：战胜敌人。
（2）只要别人有困难，老张就帮助别人，除非困难已经解决了。
解：r→(p→p)，其中，P：别人有困难；q：老张帮助别人；r：困难解决了。
（3）小王与小张是亲戚。
解：p，其中，P：小王与小张是亲戚。
2、判断下列公式的类型（总共5题，完成的题号为学号尾数取5的余，完成1题。
共1分）（0）A：((pq)((pq) (pq))) r（1）B：(p(qp)) (rq)（2）C：(pr) (qr)（3）E：p(pqr)（4）F：(qr) r解：用真值表判断，A为重言式，B为矛盾式，C为可满足式，E 为重言式，F为矛盾式。
3、判断推理是否正确（总共2题，完成的题号为学号尾数取2的余，完成1题。
共2分）（0）设y=2|x|，x为实数。
推理如下：如y在x=0处可导，则y 在x=0处连续。
发现y在x=0处连续，所以，y在x=0处可导。
解：设y=2|x|，x为实数。
令P：y在x=0处可导，q：y在x=0处连续。
由此，p为假，q为真。
本题推理符号化为：(pq) qp。
由p、q的真值，计算推理公式真值为假，由此，本题推理不正确。
（1）若2和3都是素数，则6是奇数。
2是素数，3也是素数。
所以，5或6是奇数。
解：令p:2是素数，q:3是素数，r:5是奇数，s:6是奇数。
由此，p=1，q=1，r=1，s=0。
本题推理符号化为：((p q) →s) p q) →(r s)。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第一篇 数理逻辑复习题第1章 命题逻辑一、单项选择题1. 下列命题公式等值的是( )B B A A Q P Q Q P Q B A A B A A Q P Q P ),()D (),()C ()(),()B (,)A (∧∨⌝∨∨⌝∨→→→⌝→→∨⌝∧⌝ 2. 设命题公式G ：)(R Q P ∧→⌝,则使公式G 取真值为1的P ，Q ，R 赋值分别是 ( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A (3. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式4 命题公式)(Q P →⌝的主析取范式是( )．(A) Q P ⌝∧ (B) Q P ∧⌝ (C) Q P ∨⌝ (D) Q P ⌝∨5. 前提条件P Q P ,⌝→的有效结论是( )．(A) P (B) ⌝P (C) Q (D)⌝Q6. 设P ：我将去市里，Q ：我有时间．命题“我将去市里，仅当我有时间时”符号化为( )Q P Q P Q P P Q ⌝∨⌝↔→→)D ()C ()B ()A (二、填空题 1. 设命题公式G ：P →⌝(Q →P )，则使公式G 为假的真值指派是2. 设P ：我们划船，G ：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为3. 含有三个命题变项P ，Q ，R 的命题公式P ∧Q 的主析取范式是4. 若命题变元P ，Q ，R 赋值为(1,0,1)，则命题公式G ＝)())((Q P R Q P ∨⌝↔→∧的真值是5. 命题公式P →⌝(P ∧Q )的类型是 ．6. 设A ，B 为任意命题公式，C 为重言式，若C B C A ∧⇔∧，那么B A ↔是 式(重言式、矛盾式或可满足式)三、解答化简计算题1. 判别下列语句是否命题？如果是命题，指出其真值.(1) 中国是一个人口众多的国家. (2) 存在最大的质数.(3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人.2.作命题公式))(()(P Q P Q P ∨∧→→的真值表，并判断该公式的类型．3. 试作以下二题：(1) 求命题公式(P ∨⌝Q )→(P ∧Q )的成真赋值．(2) 设命题变元P ,Q ,R 的真值指派为(0,1,1),求命题公式))()(()(Q R Q P R P →⌝∨→⌝∧↔的真值．4. 化简下式命题公式))()((P Q P Q P ∧⌝∧⌝∨∧5. 求命题公式))()((Q P P Q P ∧⌝∧→→的主合取范式.6. 求命题公式R P R Q P P R Q ∨↔∨→⌝∧→⌝∧)())((的真值．7. 求命题公式)()(Q P Q P ⌝→∧→⌝的主析取范式，并求该命题公式的成假赋值．8. 将命题公式)(P R Q P →⌝∧⌝∧⌝化为只含∨和⌝的尽可能简单的等值式．9. 求命题公式)()(Q P Q P ⌝∨⌝∧∧的真值表.四、证明题1. 证明S S P R R Q Q P ⌝⇒⌝∨∧⌝∧∨⌝∧→)()()(2. 构造推理证明：S R Q P R S Q P →⇒∧→∧→→)())((3. 证明命题公式(P →(Q ∨⌝R ))∧⌝P ∧Q 与⌝（P ∨⌝Q ）等值．4. 证明命题公式)()(Q R Q P →∨→与Q R P →∧)(有相同的主析取范式．参考答案一、1. C 2. D 3. B 4. A 5. D 6. B二、1. 1,0；1,1 2. )(Q P ∧⌝或Q P ⌝∨⌝ 3. (P ∧Q ∧R )∨(P ∧Q ∧⌝R )4. 05. 非永真式的可满足式6. 重言三、1. (1) 是命题，真值为1. (2) 是命题，真值为0. (3), (4)不是命题. (5) 是命题.1. 判别下列语句是否命题？如果是命题，指出其真值.(1) 中国是一个人口众多的国家. (2) 存在最大的质数.(3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人.2. 命题公式的真值表原式为可满足式.3. (1) (P ∨⌝Q )→(P ∧Q )⇔(⌝P ∧Q )∨(P ∧Q )⇔(⌝P ∨P )∧Q ⇔Q可见(P ∨⌝Q )→(P ∧Q )的成真赋值为(0,1)，(1,1)．(2) ))()(()(Q R Q P R P →⌝∨⌝→⌝∧↔0))10()01(()10(⇔→∨→∧↔⇔4. ))()((P Q P Q P ∧⌝∧⌝∨∧P Q P Q P ∧⌝∧⌝∨∧⇔)()()()(P P Q P Q P ∧⌝∧⌝∨∧∧⇔0)(∨∧⇔Q PQ P ∧⇔5. ))()((Q P P Q P ∧⌝∧→→))()((Q P P Q P ∧⌝∧∨⌝∨⌝⇔)())(Q P P Q P Q P ∧⌝∧∨∧⌝∧⌝∨⌝⇔)00(∧∨⌝⇔P)(Q Q P ⌝∧∨⌝⇔)()(Q P Q P ⌝∨⌝∧∨⌝⇔6. R P R Q P P R Q ∨↔∨→⌝∧→⌝∧)())((R P R Q P P R Q ∨↔∨∨∧∨∨⌝⇔)()(R P Q Q R P ∨↔∧⌝∨∨⇔)(1⇔7. )()()()(Q P Q P Q P Q P ⌝∨⌝∧⌝∧⇔⌝→∧→⌝Q P ⌝∧⇔因为成真赋值是（1，0），故成假赋值为（0，0），（0，1），（1，1）8. ))()()(R P Q P P R Q P ∨∧∨⌝⇔→⌝∧⌝∧⌝))()((R P Q P ∨⌝∨∨⌝⇔不唯一．9.四、证明题1. 证明S S P R R Q Q P ⌝⇒⌝∨∧⌝∧∨⌝∧→)()()(①⌝Q ∨R P②⌝R P③⌝Q T ①，②析取三段论④P →Q P⑤P ⌝ T ③，④拒取式⑥P ∨⌝S P⑦⌝S ⑤，⑥析取三段论2. 构造推理证明：S R Q P R S Q P →⇒∧→∧→→)())((.前提：Q P R S Q P ,)),((→→→结论：S R →证明：① R 附加前提② R →P 前提引入③ P ①，②假言推理④P →(Q →S ) 前提引入⑤ Q →S ③,④假言推理⑥ Q 前提引入⑦ S ⑤,⑥假言推理3. 证明命题公式(P →(Q ∨⌝R ))∧⌝P ∧Q 与⌝（P ∨⌝Q ）等值．证明:(P →(Q ∨⌝R ))∧⌝P ∧Q ⇔(⌝P ∨(Q ∨⌝R ))∧⌝P ∧Q⇔(⌝P ∧⌝P ∧Q )∨(Q ∧⌝P ∧Q )∨(⌝R ∧⌝P ∧Q )⇔(⌝P ∧Q )∨(⌝P ∧Q )∨(⌝P ∧Q ∧⌝R )⇔⌝P ∧Q⇔⌝(P ∨⌝Q )4. 证明命题公式)()(Q R Q P →∨→与Q R P →∧)(有相同的主析取范式．证明.方法1．)()(Q R Q P →∨→⇔)()(Q R Q P ∨⌝∨∨⌝⇔∨∧⌝⇔Q R P )(Q R P →∧)(因为两命题公式等值，由主合取范式的惟一性，可知两命题公式的主合取范式是相同．4. 证明命题公式)()(Q R Q P →∨→与Q R P →∧)(有相同的主析取范式．方法2．)()(Q R Q P →∨→⇔)()(Q R Q P ∨⌝∨∨⌝R Q P Q R P ⌝∨∨⌝⇔∨⌝∨⌝⇔R Q P Q R P Q R P ⌝∨∨⌝⇔∨⌝∨⌝⇔→∧)(因为它们的主合取范式相同，可知它们的主析取范式也相同．第2章谓词逻辑一、 单项选择题1. 谓词公式)())()((x Q y yR x P x →∃∨∀中量词∀x 的辖域是( )(A) ))()((y yR x P x ∃∨∀ (B) P (x ) (C) )()(y yR x P ∃∨ (D) )(x Q2. 谓词公式∃xA (x )∧⌝∃xA (x )的类型是（ ）(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 不属于(A ),(B ),(C )任何类型3 设个体域为整数集，下列公式中其真值为1的是( )(A) )0(=+∃∀y x y x (B) )0(=+∀∃y x x y(C))0(=+∀∀y x y x (D) )0(=+∃⌝∃y x y x4 设L (x )：x 是演员，J (x )：x 是老师，A (x ,y )：x 佩服y. 那么命题“所有演员都佩服某些老师”符号化为( )(A) ),()(y x A x xL →∀ (B) ))),()(()((y x A y J y x L x ∧∃→∀(C) )),()()((y x A y J x L y x ∧∧∃∀ (D) )),()()((y x A y J x L y x →∧∃∀ 5. 设个体域是整数集合，P 代表∀x ∃y ((x <y )→(x -y <0))，下面4个命题中为真的是( )(A) P 是真命题 (B) P 是逻辑公式，但不是命题(C) P 是假命题 (D) P 不是逻辑公式6. 表达式))(),(())(),((z zQ y x R y z Q y x P x ∀→∃∧∨∀中x ∀的辖域是( ) (A) P (x ,y ) (B)R (x ,y ) (C)P (x ,y )∧R (x ,y ) (D) P (x ,y )∨Q (z )二、 填空题1. 设个体域D ＝{1,2},那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为 .2. 设个体域D ＝{a ,b },公式)),()((y x yH x G x ∃→∀消去量词化为3. 设N (x )：x 是自然数，Z (y )；y 是整数，则命题“每个自然数都是整数，而有些整数不是自然数”符号化为4. 谓词公式∀x (F (x )→G (x ))∧⌝∀y (F (y )→G (y ))的类型是 ．5. 设个体域{1,2},谓词P (1)=1,P(2)=0，Q(1)=0，Q (2)=1，则∀x (P (x )∨Q (x ))的真值是三、解答化简计算题1. 判别谓词公式),(),(y x xF y y x yF x ∃∀→∀∃的类型.2. 指出谓词公式)())()),()(((x S x xR y x Q x P x ∧∃∧→∀中∀x 和∃x 的辖域，并指出该公式的约束变元和自由变元以及约束出现次数和自由出现次数．3. 求谓词公式))(())((a f R x Q P x ∧→∀的真值．其中P ：4>3，Q （x ）：x >1，R （x ）：x ≤2．f （-3）=1，f （1）=5，f （5）= -3．a ：5．个体域D =（-3，1，5）．4.说明公式))(),(()(x xP y x yG x xP ∀→∃→∀是逻辑有效式(永真式)．5. 通过等值演算说明下列等值式成立： )()())()((x xQ x xP x Q x P x ∃→∀⇔→∃6. 求谓词公式),,()),(),((z y x zH y x yG y x xF ∃∧∀→∀的前束范式.四、证明题1. 试利用代换实例证明谓词公式))(),(()(x xF z x zG y x xF ∀→∃∀→∀是逻辑有效式(永真式)．2. 构造推理证明))()(()()(x Q x P x x xQ x xP →∀⇒∀→∃． （提示：))()(()()(x B x A x x xB x xA ∨∀⇒∀∨∀.)参考答案一、1. C ；2.. B ；3 A ；4. B ；5. A 6. D二、1. A (1)∨A (2)∨(B (1)∧B (2)) 2. (G (a )→(H (a ,a )∨H (a ,b )))∧ (G (b )→(H (b ,a )∨H (b ,b )))3. ))()(())()((x N x Z x x Z x N x ⌝∧∃∧→∀4. 永假式5. 1三、1.设I 为任意一个解释，D 为I 的个体域. 若在解释I 下，该公式的前件为0，无论),(y x xF y ∃∀如何取值，),(),(y x xF y y x yF x ∃∀→∀∃为1；若在解释I 下，该公式的前件为1，则,0D x ∈∃使得),(y x yF ∀为1，它蕴含着),(,0y x F D y '∈'∀为1),(y x xF '∃⇒为1，由y '的任意性，必有),(y x xF y ∃∀为1，于是),(),(y x xF y y x yF x ∃∀→∀∃为1.所以，),(),(y x xF y y x yF x ∃∀→∀∃是永真式．2. ∀x 的辖域为：P (x )→Q (x ,y )∧∃xR (x )∃x 的辖域为：R (x )x 既是约束变元，也是自由变元，约束出现3次，自由出现1次．y 是自由变元，自由出现1次．3. ))(())((a f R x Q P x ∧→∀ =))5(())5(())1(())3((f R Q P Q P Q P ∧→∧→∧-→=)3()11()01()01(-∧→∧→∧→R01100=∧∧∧=4. 已知1)()(⇔∨⌝∨⌝⇔∨⌝∨⌝⇔→→P Q P P Q P P Q P因为))(),(()(x xP y x yG x xP ∀→∃→∀是)(P Q P →→的代换实例，可知))(),(()(x xP y x yG x xP ∀→∃→∀是逻辑有效式．或))(),(()(x xP y x yG x xP ∀∨⌝∃∨⌝∀1)(),()(⇔∨⌝∃∨⌝∀⇔x P y x yG x xP5. ⇔→∃))()((x Q x P x )()((x Q x P x ∨⌝∃))()(x xQ x P x ∃∨⌝∃⇔)()(x xQ x xP ∃∨⌝∀⇔)()(x xQ x xP ∃→∀⇔6. ),,()),(),((z y x zH y x yG y x xF ∃∧∀→∀),,()),(),((z y x zH y x yG y x xF ∃∧∀∨⌝∀⇔),,()),(),((z y x zH v u vG y u F u ∃∧∀∨⌝∃⇔)),,()),(),((z y x zH v u vG y u F u ∃∧∀∨⌝∃⇔)),,()),(),(((z y x H v u Q y u F z v u ∧∨⌝∃∀∃⇔(或)),,()),(),(((z y x H v u Q y u F z v u ∧→∃∀∃⇔)四、1.谓词公式))(),(()(x xF z x zG y x xF ∀→∃∀→∀ 是命题公式)(P Q P →→ 的代换实例．因为命题公式 ⇔∨⌝∨⌝⇔→→P Q P P Q P )( 1是永真式，故))(),(()(x xF z x zG y x xF ∀→∃∀→∀是逻辑有效式．2.前提：)()(x xQ x xP ∀→∃．结论：)()(x xQ x xP ∀→∃．证 ① )()(x xQ x xP ∀→∃ 前提引入② )()(x xQ x xP ∀∨⌝∃ T ①,蕴含等值式③ )()(x xQ x P x ∀∨⌝∀ T ②,量词否定 ④ ))()((x Q x P x ∨⌝∀⑤ ))()((x Q x P x →∀ T ④,蕴含等值式。