ÀëÉ¢Êýѧ×îÈ«¿Îºó´ð°¸(ÇüÍñÁá°æ) ÏÂÔØ±¾ÎÄ

ÀëÉ¢ÊýѧϰÌâ½â 49

ϰÌâÊ®Èý

13.1.

1.ͼ 13.9 Öиø³ö 6 ¸öÆ«Ðò¼¯µÄ¹þ˹ͼ.ÅÐ¶ÏÆäÖÐÄÄЩÊǸñ. Èç¹û²»ÊǸñ, ˵Ã÷ÀíÓÉ.

d

f d c b a (b) (c) e d f e

c b a (a) g f d e b a c

f d d c e b b f e

c a (f) b a

c a (d) (e)

13.9 ͼ

(a), (c), (f)ÊǸñ. (b)ÖеÄ{e, d}ûÓÐ×î´óϽç. (d)ÖеÄ{d, e}ûÓÐ×î´óϽç. (e)ÖеÄ{a, b}ûÓÐ×î´óϽç.

13.2.2.ÏÂÁи÷¼¯ºÏ¶ÔÓÚÕû³ý¹ØÏµ¶¼¹¹³ÉÆ«Ðò¼¯, ÅжÏÄÄЩƫÐò¼¯ÊǸñ.

(1) L = {1, 2, 3, 4, 5} (2) L = {1, 2, 3, 6, 12}

(3) L = {1, 2, 3, 4, 6, 9, 12, 18, 36} (4) L = {1, 2, 22, ..., 2n}, n??+ (1)²»ÊǸñ, ÆäËû¶¼ÊÇ.

13.3.3. (1)Ⱥ??12, ??µÄ×ÓȺ¸ñ.

(2)»­³ö 3 Ôª¶Ô³ÆÈº S3 µÄ×ÓȺ¸ñ. ¼û´ðͼ.

ÀëÉ¢ÊýѧϰÌâ½â 50

?12

S3

?2?? ?3??

?(12)??

?4??

?(123)???(23)???(13)??

?6??

?0??(1)

?(1)??

(2)

µÚ 3 Ìâ´ðͼ

13.4.4.Éè L ÊǸñ, ÇóÒÔϹ«Ê½µÄ¶Ôżʽ:

(1) a??(a?b)? a

(2) a??(b?c) ? (a?b) ??(a?c)

(3) b??(c?a) ? (b?c) ?a. (1) a?(a?b) ¡°a

(2) a??(b?c) ¡° (a?b) ??(a?c) (3) b??(c?a) ¡° (b?c) ?a

13.5.5.Éè?Ϊ¼¯ºÏ S ÉϿɽ»»», ¿É½áºÏµÄ¶þÔªÔËËã, Èô a, b ÊÇ S ÉϹØÓÚ?ÔËËãµÄÃݵÈÔª, Ö¤Ã÷ a?b Ò²ÊǹØÓÚ?ÔË

ËãµÄÃݵÈÔª. Ö¤

a ??b = b ??c

(a ??b) ??(a ??b) = ((a ??b) ??a) ??b = (a ??(a ??b)) ??b = ((a ??a) ??b) ??b = (a ??a) ??(b ??b) = a ??b.

13.6.6.Éè L ÊǸñ, a, b, c?L, ÇÒ a ? b ? c, Ö¤Ã÷

a ??b = b ??c

a ??b = b; b ??c = b.

13.7.7.Õë¶Ôͼ 13.4 Öеĸñ L1, L2 ºÍ L3, Çó³öËûÃǵÄËùÓÐ×Ó¸ñ. d b a c a1 L2 L3 d1 d1 c2 b2 a2

L1

ͼ 13.10

L1 µÄ×Ó¸ñ: {a}, {b}, {c}, {d}, {a, b}, {a,c}, {a, d}, {b, d}, {c, d},{a, b, d},{a, c, d}, L1. L2 µÄ×Ó¸ñ: {a1}, {d1}, L2

L3 µÄ×Ó¸ñ: {a2}, {b2}, {c2}, {d2}, {a2, b2}, {a2, c2}, {a2, d2}, {b2, c2}, {b2, d2}, {c2, d2}, {a2, b2, c2}, {a2, b2, d2}, {a2, c2, d2}, {b2, c2, d2}, L3

ÀëÉ¢ÊýѧϰÌâ½â

13.8.8. Éè?L, ??ÊǸñ, ÈÎÈ¡ a?L. Áî

51

S = {x | x?L??x?a}.

Ö¤Ã÷?S, ??ÊÇ?L, ??µÄ×Ó¸ñ.

S ·Ç¿Õ. ?x, y ?S, ÓÐ x ? a, y ? a, ´Ó¶ø x ??y ? x ?a, x ??y ? a ??a = a ? a, ÓÚÊÇ x ??y ??S, x ??y ??S, ¼´ S ¶ÔÔËËã ?, ??ÊÇ·â±ÕµÄ. Òò´Ë ?S, ???ÊÇ ?L, ???µÄ×Ó¸ñ.

13.9.9.Õë¶Ôͼ 13.9 ÖеÄÿ¸ö¸ñ, Èç¹û¸ñÖеÄÔªËØ´æÔÚ²¹Ôª, ÔòÇó³öÕâЩ²¹Ôª.

(b), (d), (e)²»ÊǸñ. (a)a Óë d »¥²¹; b, c ûÓв¹Ôª. (c)a Óë f »¥²¹; b µÄ²¹ÔªÎª c, d; c µÄ²¹ÔªÎª b, e; d µÄ²¹ÔªÎª b, e; e µÄ²¹ÔªÎª c, d. (f)a Óë f »¥²¹; b µÄ²¹ÔªÎª e; c ºÍ d ûÓв¹Ôª; e µÄ²¹ÔªÎª b.

13.10.

10.˵Ã÷ͼ 13.9 ÖеÄÿ¸ö¸ñÊÇ·ñΪ·ÖÅä¸ñ, Óв¹¸ñºÍ²¼¶û¸ñ, ²¢ËµÃ÷ÀíÓÉ.

(b), (d), (e)²»ÊǸñ.

(a)ÊÇ·ÖÅä¸ñ, ÒòΪ²»°üº¬Óë×êʯ¸ñºÍÎå½Ç¸ñͬ¹¹µÄ×Ó¸ñ; ²»ÊÇÓв¹¸ñºÍ²¼¶û¸ñ, b, c ûÓв¹Ôª. (c)²»ÊÇ·ÖÅä¸ñ, ²»ÊDz¼¶û¸ñ, ÒòΪ°üº¬Îå½Ç¸ñ×÷Ϊ×Ó¸ñ; ÊÇÓв¹¸ñ, a Óë f »¥²¹, b ºÍ e µÄ²¹ÔªÓÐ c, d; c, d µÄ²¹ ÔªÓÐ b, e. (f)ÊÇ·ÖÅä¸ñ, ÒòΪûÓÐ 5 Ôª×Ó¸ñÓë×êʯ¸ñ»òÎå½Ç¸ñͬ¹¹; ²»ÊÇÓв¹¸ñ, Ò²²»ÊDz¼¶û¸ñ, ÒòΪ c ºÍ d ûÓв¹Ôª. 13.11. 11. Ö¤Ã÷¶¨Àí 13.8. 13.12. 12.¶ÔÒÔϸ÷СÌâ¸ø¶¨µÄ¼¯ºÏºÍÔËËãÅжÏËüÃÇÊÇÄÄÒ»Àà´úÊýϵͳ(°ëȺ, ¶ÀÒìµã, Ⱥ, »·, Óò, ¸ñ, ²¼

¶û´úÊý), ²¢ËµÃ÷ÀíÓÉ.

(1) S1 = {0, 1, ?1}, ÔËËãΪÆÕͨ¼Ó·¨ºÍ³Ë·¨.

(2) S2 = {a1, a2, ..., an}, ?ai, aj?S2, ai*aj = ai.ÕâÀïµÄ n ÊǸø¶¨µÄÕýÕûÊý, ÇÒ n¡Ý2. (3) S3 = {0, 1}, *ΪÆÕͨ³Ë·¨.

(4) S4 = {1, 2, 3, 6}, ¡ðºÍ*·Ö±ð±íʾÇó×îС¹«±¶ÊýºÍ×î´ó¹«Ô¼ÊýÔËËã.

(5) S5 = {0, 1}, *Ϊģ 2 ¼Ó·¨, ¡ðΪģ 2 ³Ë·¨.

(1)²»ÊÇ´úÊýϵͳ, ¶ÔÓÚ¼Ó·¨²»·â±Õ. (2)ÊǰëȺµ«²»ÊǶÀÒì

µã, ÔËËã·â±Õ, ÓнáºÏÂÉ, ûÓе¥Î»Ôª.

(3)ÊǶÀÒìµãµ«²»ÊÇȺ, ³Ë·¨·â±Õ, ÓнáºÏÂÉ, µ¥Î»ÔªÊÇ 1, µ«ÊÇ 0 ûÓÐÄæÔª.

(4)ÊDz¼¶û´úÊý. ÒòΪÕâÁ½¸öÔËËãÂú×ã½»»», Ï໥·ÖÅä, ͬһÂÉ(Çó×îС¹«±¶ÊýµÄçÛÔªÊÇ 1, Çó×î´ó¹«Ô¼ÊýµÄçÛ ÔªÊÇ 6), ²¹ÔªÂÉ.

(5)ÊÇÓò. ÒòΪ{0, 1}¹ØÓÚÄ£ 3 ¼Ó¹¹³É½»»»Èº, {1}¹ØÓÚÄ£ 3 ³Ë¹¹³É½»»»Èº, Ä£ 3 ³Ë¹ØÓÚÄ£ 3 ¼ÓÓзÖÅäÂÉ. 13.13.

13.Éè B ÊDz¼¶û´úÊý, B Öеıí´ïʽ f ÊÇ

( a ??b) ??(a ??b ??c) ??(b ??c)

(1)»¯¼ò f. (2)Çó f µÄ¶Ôżʽ f *.

(1) (a?b) ??(a?b?c) ??(b?c) = (a?b) ??(b?c) (2) f *= (a?b) ??(b?c) 13.14. 13.15.

14. ȱ. 15.¶ÔÓÚ n = 1, ..., 5, ¸ø³öËùÓв»Í¬¹¹µÄ n Ôª¸ñ, ²¢ËµÃ÷ÄÄЩÊÇ·ÖÅä¸ñ, Óв¹¸ñºÍ²¼¶û¸ñ.

ÀëÉ¢ÊýѧϰÌâ½â 52

(a)

(b)

(c)

(d)

(e)

(f) (g) (h) (i) (j)

µÚ 15 Ìâ´ðͼ

²¼¶û¸ñ: (a), (b), (e)

·ÖÅä¸ñ: (a), (b), (c), (d), (e), (f), (g), (h) Óв¹¸ñ: (a), (b), (e), (i), (j)

13.16.

16.Éè?B, ?, ?, ?, 0, 1?ÊDz¼¶û´úÊý, ÔÚ B É϶¨Òå¶þÔªÔËËã?, ?x, y?B ÓÐ

x?y = (x?y?) ??(x??y)

ÎÊ?B, ??ÄÜ·ñ¹¹³É´úÊýϵͳ? Èç¹ûÄÜ, Ö¸³öÊÇÄÄÒ»ÖÖ´úÊýϵͳ.Ϊʲô?

¹¹³ÉȺ, ÔËËã·â±Õ. ÏÂÃæÖ¤Ã÷½áºÏÂÉ. ÈÎÈ¡ a, b, c

(a ??b) ??c ??((a ??b?) ??(a????b)) ??c

???((a ??b?) ??(a????b)) ??c?????((a ??b?) ??(a????b))????c

???

??(a ??b????c?) ??(a????b ??c?) ???((a ??b?)????(a????b)?) ??c????(a ??b????c?) ??(a????b ??c?) ???(a????b) ??(a ??b?) ??c??

??(a ??b????c?) ??(a????b ??c?) ??(a????a ??c) ??(a????b????c) ??(b ??a ??c) ??(b ??b????c)

??(a ??b????c?) ??(a????b ??c?) ??0 ??(a????b????c) ??(a ??b ??c) ??0 ??(a ??b????c?) ??(b ??c????a?) ??(c ??a????b) ??(a ??b ??c)

a ??(b ??c) ??(b ??c) ??a ??(b ??c????a?) ??(c ??a????b?) ??(a ??b????c?) ??(b ??c ??a)

Ò×¼û½áºÏÂɳÉÁ¢.

ÓÉ a ??0 ??(a ??0?) ??(a????0) ??(a ?1) ??0 ??a , Öª 0 Ϊµ¥Î»Ôª.

ÓÉ a ??a ??(a ??a?) ??(a????a) ??0 ??0 ??0 , Öª a Ϊ±¾ÉíµÄÄæÔª.

ͬÀíÓÐ

13.17. 13.18.

17. ȱ. 18. ȱ.