离散数学古天龙-1-4章答案

eq

\o\ac(○,2)

eq

\o\ac(○,5)

eq

\o\ac(○,6)

eq

\o\ac(○,3)

}eq

\o\ac(○,4)

1}eq

\o\ac(○,1) eq

\o\ac(○,3) eq

\o\ac(○,7) eq

\o\ac(○,8) eq

\o\ac(○,10) eq

\o\ac(○,6)

{1{2}}{{1}{{2}}{1{2}}}eq

\o\ac(○,7) {{}{a}{a}}eq

\o\ac(○,9) {{{12}}{{2}}{{12}{2}}}

4}5}4}eq

\o\ac(○,2) {1eq

\o\ac(○,3) {14,}eq

\o\ac(○,8) {5}eq

\o\ac(○,9) {{1}{2}{4}{14}{24}}AB

eq

\o\ac(○,2)

证：（ eq

\o\ac(○,3)

证：（

eq

\o\ac(○,5)

P(AUB

eq

\o\ac(○,5)

eq

\o\ac(○,6)

CPP(B)CP

CPB

CP），则C

CUB

CP(B)CB,

CUB

CUB

P(AB) eq

\o\ac(○,6)

B)P(AB

C

C

CB,

CB,

P(AB

P(B)P(AB)

P(AB)P(B)

CP(AB),

BC

CB,C

CP(B)

CP(B)

(BB

;

B)

B

;

;d

B)U(BC));e

.AB

}}}

BB

B

}}

}

②、（ABA(B(AB)A

B,AB(A(B(AB)

(AB),y

A

B

A B (A(B AB

(A(B(A(BAB

B,yAB,y

(AB) A(B

(AB)(AB)(A(B

(AB)AB,

A

B(A(B(AB)

(A(B(A(BA

BA

B,

AB,y(AB)(A(B

(AB)

A

B

A,

B,

y}

B

A

B, A,

}

A

A

A,

A

,

y}

B={{a},{a,b},{a,c},{b,c}},

B

R B, }{ ,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}

>,<

>,<

>,<

c},{b,c}>}

A

B

A

g

d

e

g

A

R

e

b

g

g

R

RRRBBA}

}

}

R

R

(RT)R(RT)

=

=

n=0

n

=

=

=

=

=

R

R

R

RR(R

=

=

=

A.

R,

R.

}R,RR,RR,

}

R

A

RR

A,RRR

R

R

RA{1,2,3}

RA,R,RRR,

R

R

RRRR

R

R

R,RR

b=cR

b=ab<<a,b>,<a,b>>R<<a,b>,<c,d>>R

b=cdd=ab<<c,d>,<a,b>>R<<a,b>,<c,d>>RRb=cdd=eb=eR,

R

A

A

｛｛

｝｝

｛｛

S

a,c,e×a,c,e××=

A

A,

①集合{2,3,7}

上界无无

下界无

上确界无无

下确界无②集合 上界

下界

上确界

下确界{2,3,7}

无无

无

无无

无

A

A

heg b

b b ⑦

g

e

db

ABR}

A

4.对于集合

A={x,y,z},A×A

5.对于集合

，A

A×A

f:

f:

;f:

f:N

NN

f:

N

A

BA

B

mA

B

Cmmmn

mA

B

A

B

mm=nm

g

C

g

g

g

g

g

f:A

f:

f:

Z}

Z}

Z}eq

\o\ac(○,1)

eq

\o\ac(○,2)

eq

\o\ac(○,3)

eq

\o\ac(○,4)

eq

\o\ac(○,5)

eq

\o\ac(○,6)

eq

\o\ac(○,7)

eq

\o\ac(○,8)

eq

\o\ac(○,9)

eq

\o\ac(○,10)eq

\o\ac(○,1)

eq

\o\ac(○,3)

eq

\o\ac(○,5)

eq

\o\ac(○,9)

eq

\o\ac(○,10)

eq

\o\ac(○,2)

q

eq

\o\ac(○,5)

eq

\o\ac(○,9)

eq

\o\ac(○,3)

eq

\o\ac(○,4)

eq

\o\ac(○,6)

eq

\o\ac(○,3)

eq

\o\ac(○,4)

eq

\o\ac(○,6)

eq

\o\ac(○,3)

eq

\o\ac(○,4)

eq

\o\ac(○,6)

eq

\o\ac(○,2)

eq

\o\ac(○,5)

eq

\o\ac(○,1)

eq

\o\ac(○,5)

eq

\o\ac(○,2)

eq

\o\ac(○,4)

eq

\o\ac(○,1)

eq

\o\ac(○,5)

eq

\o\ac(○,9)

eq

\o\ac(○,2)

2eq

\o\ac(○,4)

30

eq

\o\ac(○,2)

0134567qpqpqqqqqeq

\o\ac(○,4)

12eq

\o\ac(○,6)

0

7 0257eq

\o\ac(○,2)

02346789101112131415

eq

\o\ac(○,1)

eq

\o\ac(○,2)

eq

\o\ac(○,3)

eq

\o\ac(○,4)

eq

\o\ac(○,5)

eq

\o\ac(○,○)

eq

\o\ac(○,○)

eq

\o\ac(○,1)

eq

\o\ac(○,2)

eq

\o\ac(○,3)

eq

\o\ac(○,4)

eq

\o\ac(○,5)

eq

\o\ac(○,6)

eq

\o\ac(○,7)

eq

\o\ac(○,1)

eq

\o\ac(○,2)

eq

\o\ac(○,5)

eq

\o\ac(○,6)

eq

\o\ac(○,1)

eq

\o\ac(○,2)

eq

\o\ac(○,3)

eq

\o\ac(○,