屈婉玲離散數(shù)學(xué)課后習(xí)題答案

1、第四章部分課后習(xí)題參考答案3. 在一階邏輯中將下面將下面命題符號(hào)化,并分別討論個(gè)體域限制為(a),(b)條件時(shí)命題的真值:(1) 對(duì)于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)個(gè)體域?yàn)樽匀粩?shù)集合. (b)個(gè)體域?yàn)閷?shí)數(shù)集合.解：F(x): 2=(x+)(x). G(x): x+5=9.(1)在兩個(gè)個(gè)體域中都解釋為，在（a）中為假命題，在(b)中為真命題。(2)在兩個(gè)個(gè)體域中都解釋為，在（a）(b)中均為真命題。4. 在一階邏輯中將下列命題符號(hào)化:(1) 沒有不能表示成分?jǐn)?shù)的有理數(shù).(2) 在北京賣菜的人不全是外地人.解:(1)F(x): x能表示成分?jǐn)?shù) H(x):

2、 x是有理數(shù)命題符號(hào)化為: (2)F(x): x是北京賣菜的人 H(x): x是外地人命題符號(hào)化為: 5. 在一階邏輯將下列命題符號(hào)化: (1) 火車都比輪船快. (3) 不存在比所有火車都快的汽車. 解:(1)F(x): x是火車; G(x): x是輪船; H(x,y): x比y快命題符號(hào)化為: (2) (1)F(x): x是火車; G(x): x是汽車; H(x,y): x比y快命題符號(hào)化為: 9.給定解釋I如下: (a) 個(gè)體域D為實(shí)數(shù)集合R. (b) D中特定元素=0. (c) 特定函數(shù)(x,y)=xy,x,y. (d) 特定謂詞(x,y):x=y,(x,y):x<y,x,y.

3、說明下列公式在I下的含義,并指出各公式的真值:(1)(2)答:(1) 對(duì)于任意兩個(gè)實(shí)數(shù)x,y,如果x<y, 那么xy. 真值1.(2) 對(duì)于任意兩個(gè)實(shí)數(shù)x,y,如果x-y=0, 那么x<y. 真值0.10. 給定解釋I如下： （a） 個(gè)體域D=N(N為自然數(shù)集合). （b） D中特定元素=2. （c） D上函數(shù)=x+y,(x,y)=xy. （d） D上謂詞(x,y):x=y.說明下列各式在I下的含義，并討論其真值.(1) xF(g(x,a),x)(2) xy(F(f(x,a),y)F(f(y,a),x)答:(1) 對(duì)于任意自然數(shù)x, 都有2x=x, 真值0.(2) 對(duì)于任意兩個(gè)自然

4、數(shù)x,y,使得如果x+2=y, 那么y+2=x. 真值0.11. 判斷下列各式的類型:(1) (3) yF(x,y).解:(1)因?yàn)?為永真式； 所以 為永真式；(3)取解釋I個(gè)體域?yàn)槿w實(shí)數(shù)F(x,y)：x+y=5所以,前件為任意實(shí)數(shù)x存在實(shí)數(shù)y使x+y=5，前件真；后件為存在實(shí)數(shù)x對(duì)任意實(shí)數(shù)y都有x+y=5，后件假，此時(shí)為假命題再取解釋I個(gè)體域?yàn)樽匀粩?shù)N，F(xiàn)(x,y)：:x+y=5所以,前件為任意自然數(shù)x存在自然數(shù)y使x+y=5，前件假。此時(shí)為假命題。此公式為非永真式的可滿足式。13. 給定下列各公式一個(gè)成真的解釋，一個(gè)成假的解釋。(1) (F(x)(2) x(F(x)G(x)H(x)解:

5、(1)個(gè)體域:本班同學(xué)F(x)：x會(huì)吃飯, G(x)：x會(huì)睡覺.成真解釋F(x)：x是泰安人,G(x)：x是濟(jì)南人.（2）成假解釋(2)個(gè)體域:泰山學(xué)院的學(xué)生F(x)：x出生在山東,G(x):x出生在北京,H(x):x出生在江蘇,成假解釋.F(x)：x會(huì)吃飯,G(x)：x會(huì)睡覺,H(x)：x會(huì)呼吸. 成真解釋.第五章部分課后習(xí)題參考答案5.給定解釋如下:(a)個(gè)體域D=3,4;(b)為(c). 試求下列公式在下的真值.(1) (3)解:(1) (2) 12.求下列各式的前束范式。(1) (5) (本題課本上有錯(cuò)誤)解:(1) (5) 15.在自然數(shù)推理系統(tǒng)F中,構(gòu)造下面推理的證明:(1) 前提: ,結(jié)論: xR(x)(2) 前提: x(F(x)(G(a)R(x), xF(x)結(jié)論:x(F(x)R(x)證明(1) 前提引入 F(c) EI 前提引入 假言推理 (F(c)G(c)R(c) UI F(c)G(c) 附加 R(c) 假言推理 xR(x) EG(2)xF(x) 前提引入