1、第一章 命題邏輯基本概念課后練習(xí)題答案4.將下列命題符號化，并指出真值：（1）pq,其中，p:2是素?cái)?shù)，q:5是素?cái)?shù),真值為1；（2）pq,其中，p:是無理數(shù)，q:自然對數(shù)的底e是無理數(shù),真值為1；（3）pq,其中，p:2是最小的素?cái)?shù)，q:2是最小的自然數(shù),真值為1；（4）pq,其中，p:3是素?cái)?shù)，q:3是偶數(shù),真值為0；（5）pq,其中，p:4是素?cái)?shù)，q:4是偶數(shù),真值為0.5.將下列命題符號化，并指出真值：（1）pq,其中，p:2是偶數(shù)，q:3是偶數(shù),真值為1；（2）pq,其中，p:2是偶數(shù)，q:4是偶數(shù),真值為1；（3）pq,其中，p:3是偶數(shù)，q:4是偶數(shù),真值為0；（4）pq,其中，

2、p:3是偶數(shù)，q:4是偶數(shù),真值為1；（5）pq,其中，p:3是偶數(shù)，q:4是偶數(shù),真值為0；6.（1）(pq)(pq),其中，小麗從筐里拿一個(gè)蘋果，q：小麗從筐里拿一個(gè)梨；（2）(pq)(pq),其中，p：劉曉月選學(xué)英語，q：劉曉月選學(xué)日語；.7.因?yàn)閜與q不能同時(shí)為真.13.設(shè)p:今天是星期一，q:明天是星期二，r:明天是星期三：（1）pq，真值為1（不會出現(xiàn)前件為真，后件為假的情況）；（2）qp，真值為1（也不會出現(xiàn)前件為真，后件為假的情況）；（3）pq，真值為1；（4）pr，若p為真，則pr真值為0，否則，pr真值為1.16 設(shè)p、q的真值為0；r、s的真值為1，求下列各命題公式的真值

3、。 （1）p(qr) 0(01) 0 （2）（pr）(qs) （01）(11) 010. （3）（pqr）(pqr) （111） (000)0(4)（rs）(pq) （01）(10) 00117判斷下面一段論述是否為真：“是無理數(shù)。并且，如果3是無理數(shù)，則也是無理數(shù)。另外6能被2整除，6才能被4整除?！贝穑簆: 是無理數(shù) 1 q: 3是無理數(shù) 0 r: 是無理數(shù) 1 s:6能被2整除 1t: 6能被4整除 0 命題符號化為： p(qr)(ts)的真值為1，所以這一段的論述為真。19用真值表判斷下列公式的類型：（4）(pq) (qp)（5）(pr) (pq)（6）(pq) (qr) (pr)答：

4、 （4） p q pq q p qp (pq)(qp) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式類型為永真式 /最后一列全為1（5）公式類型為可滿足式（方法如上例）/最后一列至少有一個(gè)1（6）公式類型為永真式（方法如上例）/第二章 命題邏輯等值演算本章自測答案3.用等值演算法判斷下列公式的類型，對不是重言式的可滿足式，再用真值表法求出成真賦值.(1) (pqq)(2)(p(pq)(pr)(3)(pq)(pr)答：(2)（p(pq)）(pr)(p(pq)(pr)ppqr1 所以公式類型為永真式(3) p q r pq

5、 pr （pq）(pr)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1 所以公式類型為可滿足式4.用等值演算法證明下面等值式：(2)(pq)(pr)(p(qr)(4)(pq)(pq)(pq) (pq)證明（2）(pq)(pr) (pq)(pr)p(qr)p(qr)（4）(pq)(pq)(p(pq) (q(pq)(pp)(pq)(qp) (qq)1(pq)(pq)1(pq)(pq) 5.求下列公式的主析取范式與主合取范式，并求成真賦值(1)(pq)(qp)(2)(pq

6、)qr(3)(p(qr)(pqr)解：（1）主析取范式(pq)(qp) (pq)(qp) (pq)(qp) (pq)(qp)(qp)(pq)(pq)(pq)(pq)(pq) (0,2,3) 主合取范式： (pq)(qp) (pq)(qp) (pq)(qp) (p(qp)(q(qp) 1(pq) (pq) m1 (1) (2) 主合取范式為： (pq)qr(pq)qr (pq)qr0 所以該式為矛盾式. 主合取范式為(0,1,2,3,4,5,6,7) 矛盾式的主析取范式為 0 (3)主合取范式為：(p(qr)(pqr) (p(qr)(pqr)(p(qr)(pqr)(p(pqr)(qr)(pqr)

7、 11 1 所以該式為永真式. 永真式的主合取范式為 1 主析取范式為(0,1,2,3,4,5,6,7)7.(1)：；(2)：；8.(1)：1,重言式；(2)：；(3)：0，矛盾式. 11.(1)：；(2)：1；(3)：0. 12.a.第三章 命題邏輯的推理理論本章自測答案6.在解本題時(shí)，應(yīng)首先將簡單陳述語句符號化，然后寫出推理的形式結(jié)構(gòu)*，其次就是判斷*是否為重言式，若*是重言式，推理就正確，否則推理就不正確，這里不考慮簡單語句之間的內(nèi)在聯(lián)系(1)、(3)、(6)推理正確，其余的均不正確，下面以(1)、(2)為例，證明(1)推理正確，(2)推理不正確(1)設(shè)p:今天是星期一，q:明天是星期三

8、，推理的形式結(jié)構(gòu)為(pq)pq(記作*1)在本推理中，從p與q的內(nèi)在聯(lián)系可以知道，p與q的內(nèi)在聯(lián)系可以知道，p與q不可能同時(shí)為真，但在證明時(shí)，不考慮這一點(diǎn)，而只考慮*1是否為重言式.可以用多種方法（如真值法、等值演算法、主析取式）證明*1為重言式，特別是，不難看出，當(dāng)取a為p,b為q時(shí)，*1為假言推理定律，即(pq)pq q(2)設(shè)p:今天是星期一，q:明天是星期三，推理的形式結(jié)構(gòu)為(pq)pq(記作*2) 可以用多種方法證明*2不是重言式，比如，等值演算法、主析取范式（主和取范式法也可以）等(pq)qp(pq) q pq ppq從而可知，*2不是重言式，故推理不正確，注意，雖然這里的p與q同

9、時(shí)為真或同時(shí)為假，但不考慮內(nèi)在聯(lián)系時(shí)，*2不是重言式，就認(rèn)為推理不正確.9.設(shè)p:a是奇數(shù)，q:a能被2整除，r:a：是偶數(shù)推理的形式結(jié)構(gòu)為 (pq)(rq)(rp) (記為*)可以用多種方法證明*為重言式，下面用等值演算法證明：(pq)(rq)(rp)(pq) (qr)(qr) (使用了交換律)(pq)(pr)qr(pq)(qr)p(qq)r110.設(shè)p:a,b兩數(shù)之積為負(fù)數(shù)，q:a,b兩數(shù)種恰有一個(gè)負(fù)數(shù)，r：a，b都是負(fù)數(shù).推理的形式結(jié)構(gòu)為(pq)p(qr)(pq) p(qr)p(qr) (使用了吸收律)p(qr)由于主析取范式中只含有5個(gè)w極小項(xiàng)，故推理不正確.11.略14.證明的命題序

10、列可不惟一，下面對每一小題各給出一個(gè)證明 p(qr)前提引入 p前提引入 qr 假言推理 q前提引入 r 假言推理 rs 前提引入（2）證明： (pr) 前提引入 qr 置換 r前提引入 q 析取三段論 pq 前提引入 p拒取式（3）證明： pq 前提引入 qq 置換 (pq)(pp) 置換 p(qp 置換 p(pq) 置換15.(1)證明： s結(jié)論否定引入 sp 前提引入 p假言推理 p(qr)前提引入 qr 假言推論 q前提引入 r假言推理（2）證明： p附加前提引入 pq 附加 (pq)(rs)前提引入 rs 假言推理 s化簡 st 附加 (st)u前提引入 u拒取式16.(1)證明：

11、p結(jié)論否定引入 p q前提引入 q 假言推理 rq 前提引入 r析取三段論 rs 前提引入 r化簡 rr 合取（2）證明： (rs) 結(jié)論否定引入 rs 置換 r化簡 s化簡 pr 前提引入 p拒取式 qs 前提引入 q拒取式 pq 合取 (pq) 置換口 pq 前提引入口 (pq) (pq) 口合取16在自然推理系統(tǒng)p中用歸謬法證明下面各推理：(1)前提：pq,rq,rs 結(jié)論：p證明：p 結(jié)論的否定引入pq 前提引入q 假言推理rq 前提引入r 化簡律rs 前提引入r 化簡律rr 合取由于最后一步rr 是矛盾式,所以推理正確.17設(shè)p：a到過受害者房間，q: a在11點(diǎn)以前離開，r：a犯謀

12、殺罪，s：看門人看見過a。前提：(pq) r , p ,q s , s結(jié)論：r證明： qs 前提引入 s 前提引入 q 拒取式 p 前提引入 pq 合取（pq）r 前提引入 r 假言推理18（1）設(shè) p：今天是星期六，q：我們要到頤和園玩，s：頤和園游人太多。前提：p(pr) , sq , p , s結(jié)論：r證明： sq 前提引入 s前提引入 q假言推理 p前提引入 p(qr)前提引入 qr 假言推理r 析取三段論（2）設(shè)p:小王是理科學(xué)生，q：小王數(shù)學(xué)成績好，r：小王是文科學(xué)生。前提：pq ,rp ,q結(jié)論：r證明： pq 前提引入 q前提引入 p拒取式 rp 前提引入 r拒取式第四章 (一

13、階)謂詞邏輯基本概念本章自測答案3. 在一階邏輯中將下面將下面命題符號化,并分別討論個(gè)體域限制為(a),(b)條件時(shí)命題的真值:(1) 對于任意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.(1)x(f(x) g(x)x( f (x) g (x) ),其中,f(x)：x是有理數(shù),g(x) ：x能表示成分?jǐn)?shù)；(2)x( f (x) g

14、(x) ) x(f(x) g(x),其中,f (x)：x在北京賣菜,g (x) ：x是外地人；(3)x( f (x) g (x) ),其中,f (x)：x是烏鴉,g (x) ：x是黑色的；(4)xf(x) g(x),其中,f (x)：x是人,g (x) ：x天天鍛煉身體。因?yàn)楸绢}中沒有指明個(gè)體域,因而使用全總個(gè)體域。5.(1)xy (f(x) g( y ) h(x,y),其中,f(x)：x是火車,g(y) ：y是輪船,h(x,y)：x比y快；(2)xy (f(x) g( y ) h(x,y),其中,f(x)：x是火車,g(y) ：y是汽車,h(x,y)：x比y快；(3)x(f(x)y(g (y

15、) h (x,y)x(f(x) y(g(y) h(x,y),其中,f(x)：x是汽車,g (y) ：y是火車,h(x,y)：x比y快；(4)x(f(x)y(g(y) h(x,y)xy(f(x)g(y)h(x,y),其中,f(x)：x是汽車,g(y) ：y是火車,h(x,y)：x比y慢。6.各命題符號化形式如下：(1)xy (x y = 0)；(2)xy (x y = 0)；(3)xy (y =x+1)(4)xy(x y = yx)(5)xy(x y =x+ y)(6)xy (x + y 0 )9.(1)對任意數(shù)的實(shí)數(shù)x和y,若x y,則x y；(2)對任意數(shù)的實(shí)數(shù)x和y,若xy = 0,則xy

16、；(3)對任意數(shù)的實(shí)數(shù)x和y,若xy,則xy0；(4)對任意數(shù)的實(shí)數(shù)x和y,若xy 0,則x=y.其中,(1)(3)真值為1(2)與(4)真值為0.11.(1)、(4)為永真式,(2)、(6)為永假式,(3)、(5)為可滿足式。這里僅對(3)、(4)、(5)給出證明。(3)取解釋i 為：個(gè)體域?yàn)樽匀粩?shù)集合n,f(x,y)：x y,在下,xy f(x,y)為真,而xy f(x,y)也為真(只需取x =0即可),于是(3)中公式為真,取解釋 為：個(gè)體域仍為自然數(shù)集合n,而f(x,y)：x = y。此時(shí),xyf(x,y)為真(取y為x即可),可是xyf(x,y)為假,于是(3)中公式在 下為假,這說

17、明(3)中公式為可滿足式。(4)設(shè)i為任意一個(gè)解釋,若在i下,蘊(yùn)涵式前件xy f(x,y)為假,則xyf(x,y)yxf(x,y)為真,若前件xyf(x,y)為真,必存在i的個(gè)體域d1中的個(gè)體常項(xiàng)x0,使yf(x0,y)為真,并且對于任意y,f(x0,y)為真,由于有x0,f(x0,y)為真,所以xf(x,y)為真,又其中y是任意個(gè)體變項(xiàng),所以 yxf(x,y )為真,由于i的任意性,所以(4)中公式為永真式(其實(shí),次永真式可用第五章的構(gòu)造證明法證明之)。(5)取解釋為：個(gè)體域?yàn)樽匀粩?shù)集合,f(x,y)：x = y在下,(5)中公式為真,而將f(x,y)改為f(x,y)：x y,(5)中公式就

18、為假了,所以它為可滿足式。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) 對于任意自然數(shù)x, 都有2x=x, 真值0.(2) 對于任意兩個(gè)自然數(shù)x,y,使得如果x+2=y, 那么y+2=x. 真值0.11. 判斷下列各式的類型:(1) (3) yf(x,y).解:(1)因?yàn)?為永真式； 所以 為永真式；(3)取解釋i個(gè)體域?yàn)槿?/p>

19、體實(shí)數(shù)f(x,y)：x+y=5所以,前件為任意實(shí)數(shù)x存在實(shí)數(shù)y使x+y=5，前件真；后件為存在實(shí)數(shù)x對任意實(shí)數(shù)y都有x+y=5，后件假，此時(shí)為假命題再取解釋i個(gè)體域?yàn)樽匀粩?shù)n，f(x,y)：:x+y=5所以,前件為任意自然數(shù)x存在自然數(shù)y使x+y=5，前件假。此時(shí)為假命題。此公式為非永真式的可滿足式。13（1）取解釋為：個(gè)體域?yàn)樽匀粩?shù)集合n，f（x）：x為奇數(shù)，g（x）：x為偶數(shù)，在 下， x（f（x）g（x）為真命題。取解釋為：個(gè)體域?yàn)檎麛?shù)集合z，f（x）：x為正整數(shù)，g（x）：x為為負(fù)整數(shù)，在 下， x（f（x）g（x）為假命題。（2）與（3）可類似解答。14提示：對每個(gè)公式分別找個(gè)成真的

20、解釋，一個(gè)成假的解釋。第五章 謂詞邏輯等值演算與推理本章自測答案2.(1) (f(a) f(b) f (c) (g (a )g (b)g (c)(2) (f(a) f(b) f (c) (g (a)g (b)g (c)(3) (f(a) f(b) f (c) (g (a)g (b)g (c)(4) (f(a ,y) f(b,y) f (c,y) (g (a)g (b)g (c)5.提示：先消去量詞，后求真值，注意，本題3個(gè)小題消去量詞時(shí)，量詞的轄域均不能縮小，經(jīng)過演算真值分別為：1,0,1 .(1) 的演算如下：xyf(x,y)x (f(x,3)f(x,4)(f(3,3)f(3,4)(f(4,

21、3)f(4 ,4)1116.乙說得對，甲錯(cuò)了。本題中，全稱量詞 的指導(dǎo)變元為x ，轄域?yàn)?f (x)g(x,y),其中f(x )與g(x,y)中的x都是約束變元，因而不能將量詞的轄域縮小。7.演算的第一步，應(yīng)用量詞轄域收縮與擴(kuò)張算值式時(shí)丟掉了否定聯(lián)結(jié)詞“ ”。演算的第二步，在原錯(cuò)的基礎(chǔ)上又用錯(cuò)了等值式，即(f(x)(g(y) h(x,y) (f(x) g(y)h (x,y)12.公式的前束范式不唯一，下面每題各給出一個(gè)答案。(1) xy (f(x) g(z,y);(2) xt (x,y) g(x,t,z);(3) x4 (f(,y) g(,y)(g(,y) f(x4,y);(4) (f()g(

22、,) (h () l(,);(5) (f(,)(f() g (,).13.(1)xy(f(x) g(y) h(x ,y),其中，f(x):x是汽車，g(y)：y是火車，h(x，y)：x比y跑的快； (2)xy(f(x) g(y)h(x ,y),其中，f(x):x是火車，g(y)：y是汽車，h(x，y)：x比y跑的快； (3)xy(f(x) 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),其中，f(x):x是飛機(jī)，g(y)：y是汽車，h(x，y)：x比y慢；14.(1)對f(x) xg(x)不能

23、使用ei規(guī)則，它不是前束范式，首先化成前束范式。f(x) xg(x) x(f(y)g(x)因?yàn)榱吭~轄域(f(y)g(x)中，除x外還有自由出現(xiàn)的y，所以不能使用ei規(guī)則。 (2)對 x f(x) y g(y)也應(yīng)先化成前束范式才能消去量詞，其前束范式為 x y(f(x) g(y),要消去量詞，既要使用ui規(guī)則，又要使用ei規(guī)則。 (3)在自然推理系統(tǒng)f中eg規(guī)則為a(c)/x(x)其中c為特定的個(gè)體常項(xiàng)，這里a(y) = f(y) g(y)不滿足要求。 (4)這里，使f(a)為真的a不一定使g(a)為真，同樣地使g(b)為真的b不一定使f(b)為真，如，f(x):x為奇數(shù)，g(x):x為偶數(shù)，

24、顯然f(3)g(4)為真，但不存在使f(x)g(x)為真的個(gè)體。 (5)這里c為個(gè)體常項(xiàng)，不能對f(c)g(c)引入全稱量詞。15.(1)證明：xf(x)前提引入xf(x) y(f(y)g(y) r(y) 前提引入y(f(y)g(y) r(y) 假言推理f(c) ei(f(c)g(c)r(c) uif(c)g(c) 附加r(c) 假言推理xr(x) eg(2)證明xf(x) 前提引入x(f(x)g(a)r(x) 前提引入f(c) eif(c)g(a)r(a) uig(a)r(c) 假言推理r(c) 化簡f(c)r(c) 合取x(f(x)r(x)eg(3)證明：xf(x) 前提引入xf(x)置換

25、f(c) uix(f(x)g(x) 前提引入f(c)g(c) uif(c) 析取三段論xf(x)eg(4)證明x(f(x)g(x)前提引入f(y)g(y) uix(g(x)r(x) 前提引入g(y)r(y) uix r(x) 前提引入r(y) uig(y) 析取三段論f（y） 析取三段論xf(x) ug17本題不能用附加前提證明法.20.(1)與(2)均可用附加前提證明法。22.(1)設(shè)f(x)：x為偶數(shù)，g(x):x能被2整除。前提:x(f(x)g(x)，f(6)結(jié)論：g(6)(2)設(shè)f(x)：x是大學(xué)生，g(x):x是勤奮的，a：王曉山。前提:x(f(x)g(x)，g(a)結(jié)論：f(a)2

26、3.(1)設(shè)f(x)：x是有理數(shù)，g(x):x是實(shí)數(shù)，h(x)：x是整數(shù)。前提:x( f(x)g(x)， x(f(x)h(x)結(jié)論:x(g(x)h(x)證明提示：先消存在量詞。(2)設(shè)f(x)：x是有理數(shù)，g(x):x是無理數(shù)，h(x)：x是實(shí)數(shù)，i(x)：x是虛數(shù)。前提:x(f(x)g(x) h(x)， x( i(x)h(x)結(jié)論:x(i(x)(f(x)g(x)證明x(i(x)(h(x)前提引入i(y)h(y) uix(f(x)g(x)h(x) 前提引入(f(y)g(y)h(y)uih(y)(f(y)g(y)置換i(y)(f(y)g(y)假言三段論x(i(x)(f(x)g(x)ug24.設(shè)f

27、(x)：x喜歡步行，g(x)：x喜歡騎自行車，h(x)：x喜歡乘汽車。前提:x(f(x)g(x)， x(g(x)h(x)， xh(x)結(jié)論:xf(x)證明xh(x) 前提引入h(c)uix(g(x)h(x)前提引入g(c)h(c)uig(c)析取三段論x(f(x) g(x) 前提引入f(c)g(c)uif(c)拒取式xf(x) ug25.設(shè)f(x)：x是科學(xué)工作者，g(x)：x是刻苦鉆研的，h(x)：x是聰明的，i(x)：x在事業(yè)中獲得成功。前提:x(f(x)g(x)，x(g(x)h(x)i(x)，a：王大海，f(a)，h(a)結(jié)論：i(a)證明f(a)前提引入x(f(x)g(x) 前提引入f

28、(a)g(a)uig(a)假言推理h(a)前提引入x(g(x)h(x)i(x)前提引入g(a)h(a)i(a) uig(a)h(a)合取i(a)假言推理第六章 集合代數(shù)本章自測答案4.(1) (2) (3) (4) (5) 6.只有(2)為真，其余為假。6設(shè)a,b,c各不相同，判斷下述等式中哪個(gè)等式為真:（1）a,b，c,=a,b,c 假（2）a ,b,a=a,b 真（3）a，b=a,b 假（4），a,b=,a,b 假8求下列集合的冪集：（1）a,b,c p(a)= ,a,b,c,a,b,a,c,b,c,a,b,c（2）1，2，3 p(a)= , 1, 2,3, 1，2，3 （3） p(a)=

29、 , （4）， p(a)= , 1, 2,3, 1，2，3 14化簡下列集合表達(dá)式：（1）（ab）b ）-（ab）（2）（abc）-（bc）a解:(1)（ab）b ）-（ab）=（ab）b ）（ab）=（ab）（ab）)b=b=（2）（abc）-（bc）a=（abc）（bc）a=（a（bc）（bc ）（bc）a=（a（bc）a=（a（bc）a=a18某班有25個(gè)學(xué)生，其中14人會打籃球，12人會打排球，6人會打籃球和排球，5人會打籃球和網(wǎng)球，還有2人會打這三種球。已知6個(gè)會打網(wǎng)球的人都會打籃球或排球。求不會打球的人數(shù)。解: 阿a=會打籃球的人，b=會打排球的人，c=會打網(wǎng)球的人 |a|=14,

30、 |b|=12, |ab|=6,|ac|=5,| abc|=2, |c|=6,cab如圖所示。25-(5+4+2+3)-5-1=25-14-5-1=5不會打球的人共5人21.設(shè)集合a1，2，2，3，1，3,計(jì)算下列表達(dá)式：（1）a（2）a（3）a（4）a解: （1）a=1，22，31，3=1，2，3,（2）a=1，22，31，3=（3）a=123= （4）a=27、設(shè)a,b,c是任意集合，證明(1)(a-b)-c=a- bc(2)(a-b)-c=(a-c)-(b-c)證明(1) (a-b)-c=(ab) c= a( bc)= a(bc) =a- bc(2) (a-c)-(b-c)=(ac) (

31、b c)= (ac) (bc)=(acb) (acc)= (acb) = a(bc) =a- bc 由（1）得證。9.(1) 4；(2) 1,3,5,6；(3) 2,3,4,5,6；(4) , 1 ；(5) 4 ,1,4.11.(1)； (2) 1,4,5.22.(2)、(3)、(4)、(8)、(10)為真，其余為假。24.(1)為真，其余為假，因?yàn)?p-q) = p (p-q)q = pq = pq(2)(3)(4)的反例：p =1 ，q =226.(ab)(ba) = (ab)(ba)=(ab)(bb)(aa)(ba)=(ab)e(ab)=(ab)-(ab)27.(1)(a-b)-c =

32、abc =a(bc) = a-(bc) (2)(a-c)-(b-c)ac(bc) =ac(bc) = (acb)(acc) =ac=(ab)- c (3)(ab-c=abc =acb=(ac)b28.(1)a(ba) = (ab)(aa) =(ab) =ab=ba (2)(ab)a) = (ab)a =(ab)a = a29.由第26題有(a-b)(b-a)=(ab)(ab)，故(a-b)(b-a)ab。假若xab，那么xab，因此x(ab)-(ab),與(a-b)(b-a) = (ab)-(ab) = ab矛盾.30.abx(xaxb)x(xbxa) x(xbxa)ba ab aaab ea

33、b而abe，因此ab ab=e反之， ab = e a(ab)= a ab = a ab 綜合上述，abab = e ab a-b = a-bb反之a(chǎn)-bb (a-b)bb abb ab = b ab綜合上述aba-bb31.任取x ,xa x a=xp(a)=xp(b)=xb xb32.先證cacb cab,任取x,xc xcxc xaxb xab,從而得到cab.再證cab cacb，這可以由caba,cabb得到。33.pq p-q= p-qp，反之，p-qp p(p-q)pp p-q= pq34.令x=，則有y =，即y = .35.ab aaba eba因?yàn)閑為全集,bae綜合上述b

34、a=e.36.由acbc,a-cb-c，利用acbd有： (ac)(a-c) (bc)(b-c) (ac)(ac)(bc)(bc) (a(cc)(b(cc) aebe ab37.恒等變形法b=b(ba)=b(ab)=b(ac) =(ba)(bc)=(ac)(bc) =(ab)c=(ac)c=c39.任取x，有xp(a) x a x b xp(b)，因此p(a)p(b).40.(1)任取x有xp(a)p(b)xp(a)xp(b)xaxbxabxp(ab)(2)任取x有xp(a)p(b)xp(a)xp(b)xaxb xabxp(ab)注意與(1)的推理不同，上面的推理中有一步是“ ”符號，而不是“

35、”符號。(3)反例如下：a = 1，b = 2，則p(a)p(b)= ,1,2p(ab)=,1,2,1,2第七章 二元關(guān)系本章自測答案3.(1) 任取,有(a b)(c d) xa b y c dx ax by cy d(x ay c )(xbyd)acbd(ac)(bd)(2)都為假,反例如下:a =1, b =1,2, c =2, d =34.(1)為假,反例如下:a =1, b =,c = 2;(2)為真,證明如下:任取有a(bc)(cd)xabybyc(xayb)(xayc)abac(ab)(ac)(3)為真,令a = 即可;(4)為假,反例如下: a = 7.=,=, la=,da=

36、,9.(1), , , , (2),;(3),(4),12.（略）13.ab = , a b =doma = 1,2,3,domb = 1,2,4,dom(a b) = 1,2,3,4rana = 2,3,4,ranb = 2,3,4,ran(a b) = 4,fld(a - b) = 1,2,314.rr = , r= , r0,1 = , r1,2 = 2,316設(shè)a=a,b,c,d，為a上的關(guān)系，其中=求。解: r1r2=, r2r1=r12=r1r1=,r22=r2r2=,r23=r2r22=,18.(1)f(gh) = fgfh任取 ,有f (gh)t(fgh)t(f(gh)t(fg)(fh)t(fg)t(fh)fgfhfgfh (2)和(4)類似可證19.(2)任取y,有yrtwx(xtwr)x(xtxw)rx(xar)(xwr)x(xtr)x(xwr)yrtyrwyrtrw(3)任取,有f(ab)xabfxaxbf(xaf)(xbf)fafbfaf b20.(1)任取,有() (2)和(1)類似可證.21.只有對稱