第一篇 数理逻辑复习题
数理逻辑复习题
数理逻辑复习题一、填空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.4将下列命题符号化，并指出真值：1）2与5都是素数。
2）不但π是无理数，而且自然对数的底e也是无理数。
3）虽然2是最小的素数，但2不是最小的自然数。
4）3是偶素数。
5）4既不是素数，也不是偶数。
1.8将下列命题符号化，并指出真值：1）只要2<1，就有3<2。
2）如果2<1，则3≥2。
3）只有2<1，才有3≥2。
4）除非2<1，才有3≥2。
5）除非2<1，否则3<2。
6）2<1仅当3<2。
1.11将下列命题符号化，并给出个命题的真值：1）若2+2=4，则地球是静止不动的。
2）若2+2=4，则地球是运动不止的。
3）若地球上没有树木，则人类不能生存。
4）若地球上没有水，则是30.5无理数。
1.13 将下列命题符号化, 并讨论各命题的真值：1)若今天是星期一, 则明天是星期二。
2)只有今天是星期一, 明天才是星期二。
3)今天是星期一当且仅当明天是星期二。
4)若今天是星期一, 则明天是星期三。
1.15．设p: 2+3=5。
q: 大熊猫产在中国。
r: 太阳从西方升起。
求下列复合命题的真值：1)(p↔q) →r2)(r → (p∧q)) ↔￢p3) ￢r→(￢p∨￢q∨r)4)(p∧q∧￢r) ↔ ((￢p∨￢q) →r)1.19．用真值表判断下列公式的类型：1)P→ (P∨Q∨R)2)(P→￢P) →￢Q3) ￢(Q→R) ∧R4)(P→Q) → (￢Q→￢P)5)(P∧R) ↔ (￢P∧￢Q)6)((P→Q) ∧(Q→R)) → (P→R)7)(P→Q) ↔ (R↔S)1.20 求下列公式的成真赋值：1）￢P→Q2）P∨￢Q3）(P∧Q) →￢P4）￢(P∨Q) →Q1.21求下列公式的成假赋值：1）￢(￢P∧Q)∨￢R2）(￢Q∨R)∧(P→Q)3）(P→Q)∧(￢(P∧R)∨P)2.4. 用逻辑等价演算法证明下面逻辑等价关系:1）P⇔(P∧Q) ∨(P∧￢Q)2）((P→Q)∧(P→R))⇔(P→(Q∧R))3）￢(P↔Q) ⇔(P∨Q) ∧￢(P∧Q)4）(P∧￢Q) ∨(￢P∧Q) ⇔(P∨Q) ∧￢(P∧Q)2.8.求下列公式的主合取范式，再用主合取范式求主析取范式：1）(P∧Q) →Q2）(P↔Q) →R3）￢(R→P)∧P∧Q2.9. 用真值表求下面公式的主析取范式：1）(P∨Q)∨￢(P∧R)2）(P→Q) → (P￢↔Q)2.10. 用真值表求下面公式的主合取范式：1）(P∧Q)∨R2）(P→Q) → (Q↔R)2.17将下列公式化成与之逻辑等价且含有{￢,∧,∨}中联结词的公式：1）￢(P→(Q↔ (Q∧R)))2）(P∧Q)∨￢R3）P↔ (Q↔R)2.18将下列公式化成与之逻辑等价且含有{￢,∧}中联结词的公式：1）P∨￢Q∨￢R2）(P↔ R)∧Q3）(P→(Q∧R))∨P2.20. 将下列公式化成与之逻辑等价且仅含{￢, →} 中联结词的公式：1）(P∧Q)∨R2）(P→￢Q)∧R3）(P∧Q)↔R2.21. 证明:1）(P↑Q) ⇔(Q↑P), (P↓Q) ⇔(Q↓P)2.27. 某电路中有一个灯泡和三个开关A、B、C。
1.A数理逻辑复习
Discrete Mathematics
第一章 数理逻辑—复习
张晓 西北工业大学计算机学院 zhangxiao@ 2011-1-10
什么是数理逻辑
逻辑：是对人类推理过程的研究。 数理逻辑：是用数学的方法对人类推理过程 作研究。 数学研究方法：使用符号 数理逻辑应用
计算机科学的核心算法 程序设计语言 程序设计方法学 计算复杂性理论
2011-1-10
离散数学
2
数理逻辑及其位置
2011-1-10
离散数学
3
学习内容
学习内容
定义 定理
掌握技能
命题的表示与计算 命题公式的变形与化简 等价命题证明 重言式证明 命题的推理
2011-1-10
离散数学
4
1.1命题
要求：命题的表示、运算及真值表证明方法
2011-1-10 离散数学 5
1.1命题-逻辑连接词
代入规则替换对象为变元，替换规则可替换变 元、常元、公式 代入规则对替换对象没有要求，替换规则要求 被替换部分(公式)与替换部分(公式)恒等 代入规则要求每一处均替换，替换规则不要求 所有内容均替换
2011-1-10
离散数学
14
1.2.6重言式—对偶原理
对偶公式 定理1.2-1：公式与其对偶公式的关系 定理1.2-2:恒等式两侧公式的对偶公式的关 系 定理1.2-3：永真蕴含式两侧公式的对偶公 式的关系
5种基本连接词:否定、合取、析取、蕴含、 等值 定义方式：如果P和Q是命题，则P__Q也是 一命题，记作___,称为P和Q的___,读做__.
合取 析取 蕴含 等值 并且 或 蕴含 等值于 P∧Q P∨Q P→Q P ↔Q 合取 析取 蕴含式 等值式 P与Q或P并且Q P或Q P蕴含Q或如果P,那么Q P等值于Q
数理逻辑总复习2013
条件2：该新闻条目在程序的本次执行中已下载， 用命题符号n表示；
条件3：该新闻条目是一个动态更新的新闻条目， 用命题符号d表示；
条件4：该新闻条目已过期，程序需要重新下载， 用命题符号o表示。
19
精品资料
练习(liànxí)3：实际应用题
足式
9
精品资料
第四章 基本(jīběn)要求
准确地将给定命题符号化 理解一阶语言的概念 深刻理解一阶语言的解释 熟练地给出公式(gōngshì)的解释 记住闭式的性质并能应用它 深刻理解永真式、矛盾式、可满足式的概念,
会判断简单公式(gōngshì)的类型
10
精品资料
第五章 主要(zhǔyào)内容
24
精品资料
练习(liànxí)5（续）
前提(qiántí)：
x(P(x) Q(x) x(P(x) (S(x) x(P(x) S(x))
结论： x(P(x)
R(x)), r(x))),
x(P(x)
Q(x))
S(x))
25
精品资料
练习(liànxí)5（续）
1) x(P(x)S(x))x(P(x)S(x)) 前提(qiántí)引入
一阶逻辑等值式 基本等值式，置换规则、换名规则、代替规
则 前束范式 推理的形式结构 自然推理系统(xìtǒng)NL 推理定律、推理规则
11
精品资料
第五章 基本(jīběn)要求
深刻理解并牢记一阶逻辑中的重要等值式, 并 能准确而熟练地应用它们．
熟练正确地使用置换规则(guīzé)、换名规则 (guīzé)、代替规则(guīzé)．
4）对平面上任意两点，有且仅有一条直线通过 (tōngguò)这两点。 P(x):x是一个点；L(x):x是一条直线 R(x,y,z):z通过(tōngguò)x,y；E(x,y):x等于y.
离散数学 数理逻辑练习题
21
6、下列陈述句中不属于排斥或的是_______。 A、李小川生于1990年或1991年 B、4是奇数或是偶数 C、章海燕去过美国或去过加拿大 D、赵远远只能选学英语或只能选学法语
22
7、证明下列公式的等价关系： ( p r ) ( q r ) ( p q) r
8、在自然推理系统中，构造下面推理的证明。 前提： ， x( F ( x) (G(a) R( x))) xF (x) 结论：
16
4. 如果王小红努力学习，她一定取得好成绩。 若王小红贪玩或不按时完成作业，她就不能 取得好成绩。所以，如果王小红努力学习， 她就能按时完成作业。 (1) 将命题中的4个简单命题依次符号化为 p,q,r,s； (2) 将命题符号化，即将命题的前提和结论符 号化； (3) 在自然推理系统P中构造命题的推理证明。
9
10
8、下列集合不是连接词极小全功能集的为_____。 A、{¬,∧,∨} B、{¬,→}
C、{↓}
D、{↑}
11
9、下列谓词公式不是命题公式P→Q的代换 实例的是______ A、F ( x) G( y) B、xF ( x, y) yG( x, y)
C、 x( F ( x) G( x)) D、xF ( x) G( x)
17
5、公安人员审查一件盗窃案，已知的事实如下： ① 甲或乙盗窃了录音机； ② 若甲盗窃了录音机，则作案时间不能发生在午夜前； ③ 若乙的证词正确，则午夜时屋里灯光未灭； ④ 若乙的证词不正确，则作案时间发生在午夜之前； ⑤ 午夜时屋里灯光灭了。 试问谁盗窃了录音机？将命题符号化，即将命题的前 提符号化；然后在自然推理系统中构造命题的推理 证明过程。
离散考试复习题题
第一部分：数理逻辑1 下列语句是命题的是( ）：A.15能被3整除，3是偶数吗？B.明年5月1日是晴天C.2X+3>0D.我在说谎.2下列叙述中有( ）个命题(1)离散数学是计算机科学系的一门必修课 (2) 地球外的星球上也有人(3) 我正在说谎. (4)请不要吸烟A.1个B.2个C. 3个D. 4个3 下列语句中不是．．命题的只有（）A．这个语句是假的。
B．1+1=1.0C．飞碟来自地球外的星球。
D．凡石头都可练成金。
4 设p：我很累，q：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是A．┐p∧q B．┐p→qC．┐p→┐q D．p→┐q5 令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）A. p∧┐q B．p∨┐qC. p∧q D．p→┐q6使用逻辑连接词将下列复合命题符合化：（1）如果天不下雪且我有时间，我就进城；（2）我进城的必要条件是我有时间；（3）天不下雪或我不进城；（4）我进城当且仅当我有时间且天不下雪。
7判断下面一段论述是否为真：“ 是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”11. 将下列命题符号化(1)2或3是素数.(2)4或6是素数.(3)小元元只能拿一个苹果或一个梨.(4)王晓红生于1975年或1976年.8命题公式q ∧(p ∨┐q)的成真赋值是＿＿＿＿＿＿＿＿＿＿＿＿9命题公式p ∨(┐p →(q ∨(┐q →r)))的成假赋值是＿＿＿＿＿＿＿＿10 命题公式(p →(q ∧r))∧(┐p →(┐q ∧┐r))的成真赋值是＿＿＿11 命题公式p →(p ∧(q →r))的成假赋值是＿＿＿＿＿＿＿＿＿＿＿＿12..下列命题公式中是重言式的为（ ）A.q q)p (∧→⌝B. r q p ∧∧)(C.)()(q p q p ⌝∧∨∧D.p p q p ↔→→))((13 命题公式“q p q p →⌝∧∨)(”，是__________。
第1章 数理逻辑
命题P→Q是假, 当且仅当P是真而Q是假。
P
Q
0
0
0
1
1
0
1
1
P→Q
1 1 0 1
第一章 数理逻辑
例7 (a) P: 天不下雨, Q: 草木枯黄。 P→Q: 如果天不下雨, 那么草木枯黄。 (b) R: G是正方形, S: G的四边相等。 R→S: 如果G是正方形, 那么G的四边相等。 (c) W: 桔子是紫色的, V: 大地是不平的。 W→V: 如果桔子是紫色的, 那么大地是不平的。
(AB)是命题公式。
(3) 只有有限步应用条款(1)和(2)生成的公式才是命题公式。 这种定义叫归纳定义, 也叫递归定义。由这种定义产生的公 式叫合式公式 。
第一章 数理逻辑
例9
(a) 说明(P→(P∨Q))是命题公式。 ;
解 (i) P是命题公式
根据条款(1)
(ii) Q是命题公式
根据条款(1)
P
P
0
1
1
0
第一章 数理逻辑 例4 (a) P: 4 是质数。
P: 4 不是质数。 或 4 是质数, 不是这样。 (b) Q: 这些都是男同学。
Q: 这些不都是男同学。 (翻译成“这些都不是男同 学”是错的。 )
第一章 数理逻辑 2. 合取词∧ ;
如果P和Q是命题, 那么“P并且Q”也是一命题, 记为P∧Q, 称为P和Q的合取, 读做“P与Q”或“P并且Q”。 运算符∧定义 如下表所示: 从真值表可知P∧Q是真当且仅当P和Q俱真。
(P∧Q)→R ; (ii) “如果明天不下雨并且不下雪则我去学校”可写成 ;
P∧ Q→R ; (iii) “如果明天下雨或下雪则我不去学校”可写成 ;
数理逻辑复习题
一、选择题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 命题1. 设P是命题“天下雪”；Q是命题“我去镇上”；R是命题“我有时间”。
(a) 用逻辑符号写出以下命题：(i) 如天不下雨和我有时间，那么我去镇上；(ii) 我去镇上，仅当我有时间；(iii) 天不下雪；(iv) 天正在下雪，我也没去镇上。
(b) 对下述命题用中文写出语句：(i) ()↔∧⌝；Q R P(ii) R Q∧；(iii) ()()→∧→；Q R R Q(iv) ()⌝∨。
R Q2. 否定下列命题：(a) 上海处处清洁；(b) 每一个自然数都是偶数。
3. 说出下述每一命题的逆命题和逆反命题：(a) 如果天下雨，我将不去；(b) 仅当你去我将逗留；(c) 如果n是大于2的正整数，则方程n n n+=无正整数解（费尔马最后定理）；x y z(d) 如果我不获得更多帮助，我不能完成这个任务。
4. 给P和Q指派真值T，给R和S真值F，求下列命题的真值：(a) (()())∧∧∨⌝∨∧∨；P Q R P Q R S(b) ()(())⌝∧∨⌝∨↔⌝→∨⌝；P Q R Q P R S(c) ()∨→∧⌝↔∨⌝。
P Q R P Q s5. 构成下列公式的真值表：(a) ()∧→→；Q P Q P(b) ()∨→∧→∧⌝。
P Q Q R P R6. 证明下列公式的真值与它们的变元值无关：(a) ()∧→→；P P Q Q(b) ()()()→∧→→→。
P Q Q R P R7. 对P和Q的所有值，证明P Q⌝∨有同样的真值。
证明()()→与P Q→↔⌝∨总是P Q P Q 真的。
8. 设*是具有两个运算对象的逻辑运算符，如果()x y z**逻辑等价，那么运算**与()x y z符*是可以结合的，(a) 确定逻辑运算符∧∨→↔、、、哪些是可结合的；(b) 用真值表证明你的断言。
9. 指出一下各式哪些不是命题公式，如果是命题公式，请说明理由：(a) )()))(((；⌝→∧∨P P Q R(b) ()))∧→→((。
数理逻辑考试题及答案.pdf
“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━一、命题逻辑基本知识（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：((p q)((p q) (p q))) r（1）B：(p(q p)) (r q)（2）C：(p r) (q r)（3）E：p(p q r)（4）F：(q r) 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为真。
本题推理符号化为：(p q) q p。
由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)。
计算推理公式真值为真，由此，本题推理正确。
二、命题逻辑等值演算（5分）1、用等值演算法求下列公式的主析取范式或主合取范式（总共3题，完成的题号为学号尾数取3的余，完成1题。
习题与解答(数理逻辑)
(x,y)：x=y。
(2) xy(F(f(x,a),y)→F(f(y,a),x)) xy((x+2=y)→(y+2=x))，真值为 0。 (4) xF(f(x,x),g(x,x)) x(x+x=x·x),真值为 1。 11、判断下列各式的类型
(2) x(F(x)→F(x)) →y(G(y)∧┐G(y))) 此谓词公式前件永为真，而后件永为假，即公式为(1→0) ,此公式为矛盾式，所以原谓词公式为矛盾式。 (6) ┐(xF(x)→yG(y))∧yG(y) 此谓词公式是命题公式┐(p→q)∧q 的代换实例，而该命 题公式是矛盾式，所以此谓词公式是矛盾式。 第五章 15 (1)(2)(3)(4) 20 (1) (2) 23 (1) (2)
16、在自然推理系统 P 中用归谬法证明下面推理： (1) 前提：p→┐q, ┐r∨q, r∧┐s
结论：┐p 证明: ①p ②p→┐q ③┐q ④┐r∨q ⑤┐r ⑥r∧┐s ⑦r ⑧┐r∧r 结论否定引入 前提引入 ①②假言推理 前提引入 ③④析取三段论 前提引入 ⑥化简 ⑤⑦合取(矛盾)
⑧为矛盾式，由归谬法可知，推理正确。 第四章 5、(1) (2) (3) (4) 10、(2) (4) 11、(2) (6)
(3) 不存在比所有火车都快的汽车。 ┐x(F(x)∧y(G(y)→H(x,y))) 或x(F(x)→y(G(y)∧┐H(x,y)))， 其中，F(x): x 是汽车，G(y)：y 是火车，H(x,y):x 比 y 快。 (4) 说凡是汽车就比火车慢是不对的。 ┐xy(F(x)∧G(y)→H(x,y)) 或xy(F(x)∧G(y)∧┐H(x,y) )， 其中，F(x): x 是汽车，G(y)：y 是火车，H(x,y):x 比 y 慢。 10、给定解释 I 如下： （a） 个体域 D=N（N 为自然数）。 （b） D 中特定元素 =2。 （c） D 上函数 D 上谓词 (x,y)=x＋y， (x,y)=x·y。
第一篇--数理逻辑复习题
第一篇 数理逻辑复习题第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 ④,蕴含等值式。
小学数学数学逻辑复习 题集附答案
小学数学数学逻辑复习题集附答案小学数学数学逻辑复习题集附答案一、选择题1. 下列各数中，质数是（）A. 1B. 5C. 12D. 16答案：B2. 将20元纸币兑换成1元、5角、1角和5分的硬币，最多可以兑换多少枚硬币？（）A. 150枚B. 160枚C. 170枚D. 180枚答案：D3. 现在是星期二，7天后是星期几？（）A. 星期二B. 星期三C. 星期四D. 星期日答案：D4. 请根据图形选择恰当的图形名称。
[图形]A. 长方形B. 正方形C. 三角形D. 圆形答案：C5. 请写出下列数中比3小的素数。
A. 1B. 3C. 5D. 6答案：C二、填空题1. 将7.35元由10元面额的纸币兑换，则要用________张纸币。
答案：12. 将80分由5分的硬币兑换，则要兑换________枚硬币。
答案：1603. 逢2、4、6、8尾数的数字为偶数，逢1、3、5、7、9尾数的数字为________。
答案：奇数4. 请写出82的下一个偶数。
答案：845. 在小时钟上，指针从6点到9点共要走过________分针。
答案：15三、计算题1. 某商店原价100元的商品打8折出售，打折后的价格为多少元？答案：80元2. 两辆自行车同时从同一地点出发，相向而行。
一辆自行车的速度是每小时10公里，另一辆自行车的速度是每小时12公里。
两辆自行车相遇需要多少时间？答案：1小时3. 小明有36颗糖，小红有比小明多8颗糖。
两人一共有多少颗糖？答案：80颗糖4. 某医院每天可以为150位患者提供服务。
如果某天就诊人数为130人，还有多少位患者可以接受服务？答案：20位患者5. 有一个图形如下图所示，其中每个小方格的边长是2厘米。
请计算整个图形的周长和面积。
[图形]答案：周长：16厘米面积：12平方厘米四、解答题1. 小明参加了一次运动会，共获得了60分。
项目成绩由平均分d和风格分s组成。
已知他的d分是70分，求小明的s分是多少分？答案：s = 60 - d = 60 - 70 = -10分2. 小华收到了一笔红包，里面包含了3张100元的纸币和若干张50元的纸币。
- 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 ④,蕴含等值式。