Documente Academic
Documente Profesional
Documente Cultură
MOISIL
00
-------
1968
Prefa
G 1u.lie 1967
Su.r le theoreme
de iVI.
t.I , 1936.
Algebra mulimilor
a,
n loc de:
individul a nu este element al multimii IX.
Ideea de mulime se ntregete prin conceptul de mul
imi egale
IX
=,
adic de multimi
care au aceleasi elemente. Aceasta este
'
o definiie a egalitii dintre mulimi.
Nu vom defini egalitatea ntre indivizi
a
b,
dac
dac
a =
b i
i a E
a,
li. ,
atunci b E
atunci
IX;
E .
tNCLUZIUNEA
Dac
C,
li.
Fig.
(f.
(fig.1).
13 1J
c<.
ziunii
1.2. Dac
li.
C i
C y atunci
l/.
CY
1.3.
Dac
li.
C i C
lI.,
atunci
li. =
10
IX
()(
este o
este
submulime a mulimii ,
parte
a mulimii .
REUNIUNEA
-_. -
_1
Fig.
'
Este evident c
IXU(3 =f3UlI..
(1 4)
Fig. 3
Fig. 4
d.U
(/3UO')
11
( 1 .5)
IX U )U)y U a ,
(l/. u ( u y)) u a ,
(l/. u ) U (y u a ) ,
( 1.6)
IX LJ U y) U a),
IX U ( U (y u a)) .
Aceste cinci mulimi snt egale n virtutea legii de aso
ciativItate, cci din legea asociativ se deduce c muli
mile
(J =
't"
(IX U ) U y,
= IX U ( U y)
snt egale
(J =
't",
deci
(J
deCI
l/. U ) U y) U a
Fig. 5
12
U a
1:'
U a,
(IX U ( Uy)) u a .
O(
atunci
A
U (y U )
(!. Uy) U ,
dar
A
Y =
{ac U ) U y
a,
deci.
A
U (y U )
= cr
U a
((O( U ) U y) u a
.a.m.d.
O( U U y U .
Aceasta este multimea elementelor care aparin cel
puip uneia din muliile 0(, , y, .
In general, dac
snt
aUa=a.
(1.8)
Fig.
Este vizibil, pe fi g. 3, c
aCa U ,
P Ca U .
(1.9)
De asemenea,
a.
vom o1:serva
(1.10)
c:
echiraleaz cu a U = .
(1.11)
INTERseCIA
Fig.
(C< n ) n y = a n ( n y).
(J.13}
Fig 8.
15
Fig.
( 1.14)
( 1.16)
D ac
y C
CI; ,
( 1. 1 7)
n C .
Fig. 10
CI;
CI; C echi\!aleaz cu IX n =
IX.
CI;
i al lui , este
n
(1.18)
(1.19)
(9 Q)
58S
Fig.
12
@{) (f)6)
Fig.
13
F 14
pe a,
IX i snt disjuncte,
IX n = 0
snt afirmatii echivalente.
Formulal'ea de la p. 17 a relaj iei de disj uncie a dou
mulimi ca fiind relaia ntre dou mult,imi ce nu au ele
mente comune d
1. orice mulvime, este disjunct de 0';
2. 0' i 0' snt disj uncte.
(1.27)
19
oC.
(1.28)
(1.29)
imi atomice.
20
1.
a,
(1.30)
(1.31)
I U O( = O( U 1= I,
I n IX = O( n I = 0(.
(1.32 )
Fig.
OI
o:..
15
1.
2.
3.
4.
5.
'
b;
8.
IX
9.
o:
y C ;
y::J
lx.
'
L EGI L E DE DISTRIBUTI VITATE I DE ABSORBTIE
16
i 17 ne do
n y) u ( n y),
(7. n ) u y = (x U y) n ( u y)
( x U ) n
"'(
= ( 7.
Fig. 16
'O'
Legile
(d.n r) U (;JUl')
comutative
ar at c sn t
yalahile
egalitile
CI.
(1.33)
CI.
U ( n y)
( 7. U ) n (IX U y).
(1.34)
Fig
17
(cWfi) V'
n (a U )
a U (a n )
a
= IX,
(1.35)
(1.36)
CI..
------
Fig. 18
J3
(1.37)
Fig. 19
n Fi
i lui
0.
Ci.:
( 1.38)
23
(1. 39)
CI;.
Aceast formul este une ori numit princi piu l reci pro
citi i specii lor complementare; el corespunde principiu
lui dublei negaii, uneori enunat sub forma: negaia
negaiei echivaleaz cu afirmaia, cci a spune c un ele
ment aparine lui Ci, nseamL a nega c el ar aparine
lui CI;.
Legile lui Morgan. Fi gura 20 ne arat c
CI;
n 13,
(1.40)
& n l3>=Ciuj3
(1.41)
ti
UI3
-'-
24
c ii.
,.
(1 .42 )
. cr
fi
Fig. 20
a J.njJ=d..Uft
Ifayurat lUj3=d..nj3
Fig. 21
ExercitII
Paginile ce urmeaz conin exerCiii. Cititorul este ndemnat
s fac i calculul i figura.
IX
prin
IX
oc
n i3 ;
dou
(1.43)
Fig. 22
'15
IZ
3. a
IX
{a}.
(oc n ) y = ( IX - y) n ( -y ) .
Soluie, ca exemplu,:
-
(1.44)
(,; n ) - y = ( IX n ) n Y
( cx - )
y),
(1.46)
y),
(1.47 )
(1.48)
y = oc - ( U y) ,
(1.49)
Fig. 24
Fig. 23
(oc - ) - y
dac
26
cx
(oc - y)
(cx - ) U IX,
C Uy, atunci cx
,
p
( 1.50)
Y
(1.51)
(1.52 )
oc :J oc - ,
dac
::J - y,
oc
dac
atunci
atunci y
C,
oc
(1.53J
oc C y
oc,
(1.54)
oc:J'Y - ,
(1.55)
Fig. 25
dactt
C, at unci oc
oc
(Ci.
y C
) U ( - y) :J
rt. -
(1.56}
y,
y.
(f.57)
:x
prin
(1.58)
Se SCrIe uneori
( 1.59)
(1.60)
oc = 1,
(1.60*)
ococ=I,
(oc n )
y = ( CI.
oc _( n y)
"7
y) n .(
y) ,
(oc -+ ) n ( 11. ;+ y) ,
( U y)
(1.61)
(1.61*)
(1.62)
y),
(1.62*)
(1.63)
11.
(oc ) U ( oc
oc
oc
(l,J y) = (a
) n (oc
(IX U) y = ('1. y) n (
y) ,
y),
(1.63 *)
( 1.64)
(1.64*)
27
y = oc
(oc :)
O( ( y)
(O(
O(
(o:
(1.65*)
(oc n ) y,
) : y = (O( : y)
( --;. y)
(1.65)
( n y) ,
(O(
) n c
(1.66)
(1.66*)
y),
( 1.67)
0(,
(1.67*)
oc n (oc ) C
dac o: n y, atunci oc
dac o: n C y,
atunci oc C y,
O( C o:
oc C
dac o: C y,
(o:
O( y O(,
(1.70)
y,
(1.70*)
(1.71)
atunci O( y y,
(1.71*)
atunci y
dac O( C ,
dac oc C ,
(1.68
(1.69*)
0(,
atlinci oc C oc
dac oc C ,
dac O( C ,
(1.68)
(1.69)
p,
atunci
dac O( C y,
y,
oc y
atunci y C oc
) n ( : y) C oc
(O( ) n ( y) C O(
y,
y.
y,
(1.72)
(1.72*)
(1.73)
(1.73*)
Avem:
.
(1.74)
(1. 75)
28
(1.76)
oc + f3 = ( O( n ]) u (Ci n ,
(. 77)
+ f3 = ( O( U ) n (oc u )
(1 . 78)
(1. 7 9)
( 1.80)
( 1.81)
(1.82)
(1.83)
( 1.84)
oc + = (O( - ) U ( -
O( .
Fig. 26
oc + oc = 0,
oc + 0 = 0(,
oc + ( + y) = ( O( + ) + y ,
oc n ( + y ) = (O(n ) + (oc n y) ,
oc+oc=I.
oc+I=oc
Fig. 27
allb
sau
29
11.
sau
11
-+
se scrIe uneori
= (O(
O(
-?
) n (
-?
IX)
(1.86
oc = (11. ) n (
-?
0:).
(1.87
Fig. 28
-+= =
( O( U ) n (Ci U ),
(1.88)
(1.89)
oc
-+ oc = 1,
O( -=+- I = oc,
-+ y) (oc +- )
(1.90)
O(
O( +- (
O(
+" y)
(1. 91)
+- y,
(oc U ) -+ (O( U y) ,
oc +
ii
( 1.92)
(1.93)
(1.94)
0.
Avem:
,
(1. 95 )
+ = Ci ::;: ,
(1.96)
O( +'
O(
(J.
-+
13 = oc
Cx +
+
. +
1,
(1.97)
-+
0.
(1.98)
oc + = oc -+
Sheffer O( 1..
CI:
30
1..
ii U (},
(1.99)
ceea ce nseamn:
Fig. 29
care se mai poate eiti "IX implic non ", sau "IX ex
clude W', de unde numele e'e e:x;c.luziune rentru func
ia 1-.
1- = oc
. n,
CI.
1-
IX
(1.100)
OC,
(1.101)
(1.102)
(1.103)
(1.104)
(1.105)
(1.106)
oc T prin
oc T = ii n.
(1.107)
(cx T ) T (IX T )
*
sau
r:t.
(1.108).
(1.109)
U,
(1.HO)
(ocToc) T (T) = oc n,
(1.111)
oc TI = @,
{1.112)
ocT @ = Ci,
(1.1.13)
0.
(1.114)
O(
Ci
==
Fig. 30
'i
joritar
O(
# # y = (oc n) u ( n y) u (y n oc).
(1.115)
0=
IX
n,
oc # # y = (oc U ) n ( LI y) n (y LI oc),
(1.116)
(1.117)
(1.118)
Fig. 31
oc # # I = IX U ,
oc
3'2
# #
= oc.
(1.119)
(1.120)
(IX, , y) pr in
( 1 . 121 )
Fig. 32
( 1. 122)
( 1.123)
(IX, , y)
Te o r e mal.
1 . 1 IXC
1 . 2Ci::Jji
Fig. 33
- SBS
33
1.3
O( n
1.4
(1.
I.5
O( n
1.6
ii U= 1,
1.7
O(
1.8
(1.= 1,
(1.,
U = p,
I.9
0,
0,
oc= 1,
1.10 oc T P
0,
O( -L B
1.
1.11
1.1 se enun:
A.
to.i
O(
snt .
O(
este
E. nici un oc nu este B
Fig. 34
spune c
O(
I snt disjuncte
O( n =
deci este de tipul
34
0,
cu
cx. c,
ii :J
,
n
CI. = IX,
U =,
oc U = 1,
CI.
CI.
CI.
f3
1,
a==J,
ii T =
CI.
O,
0,
_L = 1.
Fig. 35
Teorema
ILi
oc
1 1.2
tiU
1 1.3
CY.
1 1.4
ctCY.
1 1.5
(Xn=I=CI.
1 1.6
CI.
1 1.7
ILS
n =1= 0,
=1= I,
ct,
U =f= ,
=f= 0,
cx.=I=I,
CI.
35
11.9
oc =1= 1,
11.10 oc T j3 =1= 0,
11.11 oc 1- =1= 1.
fi.
snt .
O. Exist u nii
sau, cum
se
Unii
oc
nu snt
se scne
7.
B =1= 0,
deci:
a
U =1= 1,
oc ct. ,
i3 ct. ,
fi.
n =1=
oc'
oc U =1= ,
oc
OC4
=1= 0,
13 =1=
ii T =I=g
oc 1-=I= I.
36
[:l
II
Algebra relaiilor
RELA T I I BINARE
=, =1= , <
nseamn:
Exemple:
> =) =1=
=
,
ziunea
lor).
Se ded uc e
=>
-.<,
==> :;p,
< =>
=> C (egalitatea
implicaia
-.<, >
claselor
relati ilor
=>
este refle};ir
(2.1 )
i tranzitir,
( 2.2 )
dac R => S i S => T , atunci R => T.
Conjuncia relaiilor
Dac S i T snt dou rela ii, numim conjunci a lor
i notm cu
S&T
nseamn
a8b
i a T b.
Exemple
(2.3)
8&T =) 8,
) T,
8&T
> 8 i R =9 T,
atunci R
8&T,
(2.4)
Echivalena relaiilor
Dac
avem
R 8 i 89 R,
\'izibil c c,hivnle!l!a
e1.:liilor es te
re(le:x:i(!:
R (=)
R,
( 2.5 )
8( )
( 2.6)
simrtric
dac
I
R ( ) S, alunci
=
lranti(!
daci'i
(2.7)
R&R (=) R,
(2.8)
(2.9)
comuiati", :
i asociati"'tl:
R&(S&T) (=) (R&S)&7'.
exercqu;
Demonstratiile ca
(2.10)
de exemplu,
a[R.&(S&T)]b,
nseamn
aHb i a(S & T)b,
Dar a(S & T)b lnscamJli'i aSb i a Tb, de ci ar H &(8-& T)Jb
nseamn aRb i aSb i aTb. Deoarece a[. (R&S)&TJI!
nseamn a(H &S)b i a Tii, ial' a (R &S)b inseamn aRh i
aSb, deducem c I/[(H &8) & Tjb inseamn aRb i aSb, i
aTb. Deci a[R&(S&T)Jb i a[(R&S)&T]b inseamn a m n
dou acelai lucru, i a n l l me aHb i aSb i a 'l'b.
De(i dac a[ll&(S&T)]b, aLunei a[(R&S)&T]b, deri
R&(S&T) => (R&S)&T i (R&S) &1' R&(S&T), cleei
teorema.
l'\llInim
dilltre a i b
nseamn a nu esle n
el a ( i n 11.
ClI
est
E:"J.:emple :
el]
J'( (sali
It) relaia
b.
c
>- ,
>
< .
negatia relatiei
E esLe
nega! ia re la t i e i c,,;Le E
34
negaia relaiei
este =1= ,
negaia relaiei =1= este =
=
Disjuncia relaiilor
Fiind date relaiile S, T numim disjuncia lor i notm cu
SV T
nseamn:
mcar una din relaiile aSb sau aTb
este adevrat.
Exemple:
<. este
<V =
(2. 1 1 )
(2. 12)
(2.13 )
(2. 14 )
(2.15 )
40
(2.16)
R V (R &S) (=) R,
(2.17 )
(2. 18)
(2.19 )
nseamn c
exist un
;:,
Exemple:
1. = E (=) E
3. =
= <=>
4 . C C C,
5. = C (=) C
41
().
(=) C,
'
11. 1) II II,
12. I
I => I
Demonstraiile ca exerciiu.
Proprietile produsului*
(2.19)
(R.S) . T (=)R .(S. T),
cci a[(R . S) TJb nseamn cI exist un y cu a(R.S)y
i yTb, deci c1 exist un x cu a Rx i xSy, deci c
exist x i y cu aRx, xSy, y Tb, deci c exist un x cu
aRx i x(S.T)b, deci a[R.(S.T)Jb, deci
(R.S) T =) R.(S.T).
Analog ar Ulm c:
R.(S.T) ) (R.S). T,
(2.20)
R.(S V T) (=) (R.S) V (R.T).
Dac a[R.(S V T)Jb, atunci exist un x CI aRx i
.x(S V T)b, deci xSb sau m,sC1r xTb.
Deci se prezint unul mcar din urmtoarele cazuri: sau
1) aRx i xSb san mC9r 2) aRx i .xTb. Deci: 1) a(R.S)b
sau mcar 2) a(R. T)b deci R.(S V T) (R.S) V (R.T).
Analoga[(R. S)V (R.T)]b d: 1) a(R.S)b, deci exist un x
w a Rx i xSb sau mcar 2) a (R. T)b, dECi exist un y cu
aRy I yTb, deci n f'mndou cazurile exist un Z .care
d in acelai timp aRz prEclm i uDul din caznrile zSb
sau mcarzTb, deci ziS V T)b, deci a[R. (S V T)]b, deci
(R.S) V (R. T) ) R(S V T)
(2.21)
(R V S). T (=) (R.T) V (S.T),
R.(S&T)
(R&S). T
*
42
Vezi p. 197.
=)
(R.S)&(R. T),
(R.T)&(S. T).
(2.22)
(2.23)
notat R
i (=) R,
R&s (=) ii&8,
(2.2/1)
RV S (=) RV S ,
(2.26)
----
(2.25 )
R,
(2.27)
RS ( ) S El
( 2.28)
Demonstraiile ca exerciill.
ExercItII
2. Care
3. Se noteazii
R' (=) R,
R"+l(=) RR".
Obserpaii
1. Analoga mulimii vide este relaia vid, care este relaia R
pentl'u care, oricare ar fi x,y nu avem xRy; analo!!il mul imii to
tale este relaia total R, aslfel c;1 xRy este valabil, oricare ar
fi x i y.
.
2. O relatie R este definit:i 1"lr,' elementele a dOll multimi
0:, (3; Cll alte cu
' vin le relaia a NI! are sens cnd a
CI. i
(3 dar
nu are sens nici dac a(3, nici dacii b(3. De pild;l relaia
< b
are sens cnd
si b snt numere reale dar nu ar-e sens cind a c un .
numr complex' sau cnd
e un vec
tor.
bE
"
R elaia de identitat e
se bucur de urmtoarele prop rieti :
a ) reflexif'itatea :
oricare ar fi x avem
x = x
) simetria : ori care ar fi x i y,
dac x = y, atunci y = x ;
)
tranzitif'
itatea : oricare ar fi x, y, z,
y
dac x = y i Y = z, atunci x =
a) compatibilitatea : dac
x = x*,
alunci
,
y = Y*
x Ry
(3.1 )
(3.2)
z
(3.3 )
(3.4 )
R y*.
x*
P roprietatea y d:
(=)
=
= .
c ci a(
R) b nseamn c exist z cu a = z, zRb, deci
nseamn aRb ; dac aRb, atunci a = a, aRb dec i R => = R.
AnJ og n celelalte cazuri.
R elaia de egalit ate* ntre mulimi a fo st d efi nit la
p. ' 9: a = nseamn c a i au acel eai ele mente.
P entru aceast relaie propriefile d e reflexivitate (oc i
a au aceleai elemente, ceea: ce est e o tautol ogie), de si
metri e (d ac a i a u a celeai elem ente, atunci i a. au
acelea i elemente), de tranziti vitate (dac a i au ace
leai el eme nt e i dac 13 i y au ace le a i elemente, atunci
a i y au acele a i el emente) i de compatibilit ate (dac
=
'" Vezi p. 1 9 7 .
44
re lai e
fi x
xRx,
deci, d ac
= =9
R.
O relati
' e R es te numit tranziti(J dac di n aRb i bRe
deducem aRc.
O relaie de preordine es te o re lai e refl exiv I tran
zi tiv; pe ntru o as tfel de relaie avem:
R 2 ( ) R,
=
R2 ( ) R.
=
45
o rela ti
' dac
' e E este nu mi t re latie de ech iva len t
este reflexiv, sime tri c i tranzit iv.
Exemple de relaii de echivalen II , == (mod m) pentr u n
tregii pozitivi , negativ i i nuli , relai a de egali tate pentr'l
triunghiuri, rel a ia de similitudine pent ru triunghiuri sau
alte figuri , rel ati a d e e chival en pent ru segmente (A B
---- CD nsea mn
c A BCD este un paralel ogram, even
tual dege nerat, fig. 36 a,b, c,d).
Relaia de e chivalen afin pentru tri unghi uri sau
alte figuri plane este o relai e de e ch ivalen (fiecrui
pun cL A din planu l P i corespunde pu nct ul A' din pla
nul P, astfel ca A 'D' . . . s provi n d i n A B . . . p rintr- o trans
formare afi n).
Relat' iile de e chivalen t fi ind relatii
' de preordine simetri ce, pot fi caracteri aLe prin
"'> E ,
(4. 1)
=
E <"') E
(4. 3)
(4.2)
E2 (=) E
Clase de echivalen. Fie M o muli me dat ; E o re
46
b echivaleaz
-:-
Dac n
b sau n b
caz
b.
0, cci n b
l,
deci xEa,
b.
0 sau n b =1= 0,
n care
=
Numim M ! E (mul ime ct) mul .imea claselor cu
a E M.
Oricare ar fi a E M, e.x ist a E 111 lE cu a E a ; este
.
destul s lum ry;
Definiii prin abstracie. Formarea mulimii cn M IE
constituie u n puternic mijlcc de a defini noi idei 'mate
matice ; acest procedeu este numiL de finii a prin abstrac
ie. Iat cteva exemple
Ideea de direcie. Fie II relaia de paralelism a dou
drepte I I este o relaie de fClliyalen. D a c a e s te o dreapt,
este mulimea tuturor dreptel or paralele cu a. Ceea
ce au comun aceste drepte este dirE c ia lor. Aici cuvn
tul " direcie" n u este nc definit. Putem s prc. c2din
astfel. Vom numi " direcii" clasele de ec hivalen n ra
port cu relaia de paralelism a dreptclor. A spune c
direcia dreptei a este ry; nseamn a spune c a E a, a fiind o
astfel de clas de echivalen, deci a C .6. , unde .6. este
mulimea dreptelor.
Ideea de vector. Se numete "segment" mice pereche
ordonat (A ,B) de pun c e. Printre segmente se socotesc
i segmentele nule cu A = B. Relaia de echip olen
A B ,...., CD definit p r in " A B CD este un paralelogram pro
priu sau d egenerat" mparte segmentele n clase de echi=
...
-+
--+
El
IX
[=0
A=C
8=0
sau
A = /J
sau
Fig. 3 6
A = 8 = CO
a = b (mod m) ,
-3
-2
-1
b = km
2
Fig. 37
-9
Fig.
3B
,
2
fi
3
?
R E L ATI I DE O R D I N E
i b R a
deci, dac
(a R b ) i (b R a) nu e niciodat ade"rat.
O relaie reflexiv, tranzitiv i antisimetric se nu
mete relaie de ordine parial ; deci condiiile necesare
-i suficiente ca relaia R s fie o relaie de ordine par
ial snt :
=) R,
(4. 1 )
R 2 (=) R,
( R &R) ( )
(4. 2 )
= .
(4.4)
nu e niciodat adevrat
49
deci, dac
=1=
( 4. 5 )
D ac R este o rela.ie vom numi R'" l RY relaiile
R =)
RA (=) R V
RV ( ) R &
=
-+
deci a =1= a, ceea ce este abs urd, deci RV este strict anti
simetric.
O relaie ireflexiv, tranzitiv, strict antisimetric va
fi numit relaie de ordine parial strict. Teorema de
mai sus se enunt deci
)( RV
c ci ( R '')2 (=> ( R V
) 2 (=) ( R V
) (=) R 2 V
) V ( = ) 2 (=) R 2 V R V R V =
Dar
(R
) V (R
2
R2 9 R, ieci ( R "' ) =) R V = =) R A . Artm c RA e
antisimetric : ( R A ) (=) R V
= R V = (=) R V = (=) R V =
=
---
(=) R A
A () A
R ,
=
(=) R V ,
R V V (=) R V
R " A (=) R A ,
50
v v
PRODUS CARTEZIAN
Fie CY.' ; CY." , dou mulimi i fie CY. mulimea
cu a' E CY.', a" E CY." Vom scrie
(a',a")
(X
CI.
(X
'
p erechilor
"
(X
.
I
(x
'
rf.."
Fig. 3 9
(a', k")
(tI', k")
(ii', fi ")
-----,
al
( b: n")
k',
,
fi'
I
I
(e', k")
(c ', III)
CI
b' '"
'-' ---.,-------'
(/... '
5 1.
0:'
F ig. qO
--
jA. 'xp"
fo"
Fig. l
)).'
X ( U y)
(rx. X ) U ( rx. X y ) ,
(2.29)
( rx. U ) X Y = (rx. X y ) U ( X y) ,
(2.30)
rx. X ( n y) = ( rx.
y) ,
(2.31)
( rx. n) X y = (rx.
y) .
( 2.32)
) n ( rx.
y) n (
X
X
Exerciii
l. ., X Clt = "
2. eL X 0 = 0 .
3 . Dac CIt :::/::. 0 i =/= " atunci CIt x =/= 0 .
4. Este egalitatea CIt x = x CIt . adevrat ?
Fig. '2
Il
- - -- (a. a)
I
I
I
I
I
I
I
I
I
I
I
I
I
I
6 . fL;{ =
fL:R'
Exercitii
1.
Dac
cx
C i
C 8 , atunci
cx
2. (cx
) - (y
8)
X
=
C X 8.
RELAT I I n . ARE
0.
, '"
o
Fig. 4 3
/;
Fig. 44
54
tinde astfel
c
..
D ac R este
Figo 45
I
" .i.
Figo
46
al
an
bl,
bn ,
R,
atunci I
III
Funcii
DEFINITIA N O T I UN I I DE FUNC I E
Numim :
D
domeniul funciei f ;
C - codomeniul funciei f;
CD
multime a functiilor cu domeniul D I co
domeniul C ; este deci echivalent. a scrie
-
sau
f E CD,
x
variabila independent sau argumentul lui f;
variabila
dependent. ;
y
f(x ) - valoarea func.iei f pentru valoarea x a argu
ment.ului :
f'(x) .
Se spune de obicei
lum
x =
( * *)
( * * * ).
= ( al'
a2,
aa,
a4, a5, a6
I codom eniul
a,
e,
a,.
. 6,
57
a
( ** )
y[n,f(n)]
]f x 2
sin x,
i,
: {(x)d x ,
(x) .
7.. '
domeniul lui {
(J.. "
((.re)
lui ( i g.
ger)
domeniul lui g
(X"
{= g
W' codomeniul lui
i "
ExerclJiI
(Y
Z) x
(zy ) x
ZX
'yx
Zx ,
Y.
{D.C
--?
C E C,
func.ia
iD E D D
sau
D D -4 D,
oricrui x ED face s-i
i D (x) x ,
corespund acelai
x:
l D
(tE : E
-4
E E, ft d.rc)
{( x) .
i dac D :J E o funcie
f
este numit
f pe E
extensinnea
fA ( X)
J
\
1 dac x
dac
fA (x) f8 (x)
1 - fA (x)
fA(X)
60
-=
A E 2D
echiiialeaz cu
C D.
Fie
vom defini funcia
prin : dac
A E 2D,
((A )
f
f
C,
f : 2D
deci
2c
C D, atunci
(;, {y I y = f( x ) ,x
E A}
tuturor valorilor f( x )
f (A ) este mulimea
cnd x E A .
1 . f( A U B)
f (A ) U '{(B)
cci y E; j (A U B) nseamn y
f(x) , x E A U B ;
dac x E A , f(x) E f( A ) , deci f(x) E f( A ) U f(B) ; analog,
deci
dac
,x E
B, deci
f(A
U B) C
f (A)
f(B).
61
D ac y E
deci y E
((A), atunci y
flA
U B) deci
f(x) cu
:r
((A) C flA
E A , deci x E A U B,
U
B) ; analog pentru
y E R E) ; deci
2.
Dac
3. ((A n B) C (( A ) n (( B).
4. .
( ( B).
B)
hA
((A)
SUR)ECTI I
n definiia funciei
f
D -'? C
f( D) C
C,
f( D) =1=
C.
d ar putem avea :
Spunem c f este o surj ecie dac
f(D)
e,
y
62
Vom extinde pe f * la
t::
e, deci s pre
2c 2 D,
f*
deci
y cu Y
iVI,
deci
Exercilii
1.
f* ( M U N) =
f * (M) U f *
(N) ,
x E f * (M), deci x E
deci
Dac M C N, ah.rl\;'
3.
f *(M n N)
{ ""
(M) C f
* (N) .
f * (M) n f * ( N ) .
n f * (N) , atunci x
N, deci x Ef * (M n N) , deci
deci
f * (M)
63
4.
Dac
f: X
A C X,
B C Y,
i = flA ,
:atunci
g (B)
r o (B) .
II N)ECT I I
Vom spune c
D -'? C
3.
? (A
B)
4.
? (A -
B)
? ( A ) n f ( B)
? (A ) - f (B)
y E ? ( A ) " n ? ( B) ,
ntr-adevr, dac
? (A ),
{(x ") , x " E
a tunci y E
A i y E ? ( B), deci y
{(x") , deci x' = x" E A n B, deci y E
E { ( A n B ) , deci { (A ) n { ( B ) C { (A n B). Tot astfel,
dac y E f ( A - B), atunci y
{(x ' ) , x' E A - B,
deci x' E A , x' It: B, deci y E ? ( A ) ; dac y E f (B),
{(x"), deci x' x" E
Y = {(x") cu x " E B ; d ar {(x')
A n B contrar lui x' Jt: B, deci y It: ? (B), deci y E
( ( A ) - ? ( B), deci ? (A - B) C f (A.) - ? ( B) .
d eci y = {(x') ,
E B, deci {(x' )
A
x'
E
A
64
x.
injecie.
n B -::J A .
II I )Eql l
funcie
{: D
-7
<
585
65
f(x)
f: D C
este o bijecie, atunci exist o funcie
f-1
D,
astfel ca
y
f( x) L X
Se deduce c
1 . (f- 1 t I
2. f-l este
f,
o
bijecie.
x -z y
SUPRAPUNEREA A DOU FUNCT I I
Fie
f : X Y,
g
f
Y Z.
- J!
\
t
66
Fig. 48
X Z
g o f,
1.
f o ix
i y of
f.
ntr-adevr y
ix (x ) = x, z = ( fo ix) (x ) nseamn
z = f(y)
f(x ) , iar w = ( iy o f) (x) nseamn w =
i y (f(x ) = f(x) .
="'
Te orem
h o (g 0 f) = (h o g) 0 f.
Intr-adevr, dac y = f(x), z = g(y), w = h (z) , ,atunci
(g o f) (x) i w = [h o (g 0 f )] (x), iar w ( h og)(y) . ( hog )
(f(tE
[( h o g) o f](x).
z =
Vezi p. 176.
61
foh
s se dedlc
fok
h = k.
h(x) = k (x) .
Dac f nu este o inj ecie, exist a =1= b cu
f( a)
D ac X
{c } i
f(b ) .
h : X --7 A,
k : X --7 A
snt definite de
atunci
dar
h ( c) = a
k( c) = b ,
h =l= k
f(h(c)) = f(a)
f( b) = f(k(c)).
hof = kof
s se deduc
68
h = k.
i dac
h = g o f,
atunci pentru extinderile lor
A
2 X -+ 2 Y
2Y
-+
-+
22.
z
2
a vem
2.
f*( f(A) :J A.
3.
f(f * ( B
4.
f* (A - B )
5.
f* (f ((*( B) )
B.
= f*(A)
=
- f* ( B).
f*( BL
6. Fie
f
X -+ Y,
g : X --+ Z.
Pentru ca s e x iste
funcie
'i'
cu
.....
Z,
g( x ) = cp(f ( x
69
este necesar i suficient ca pentrn or ice pereche x' , x " s avem impli
. :
caa
dac f(x')
f(x ") at un c i g (x')
g ( .r " ) .
Este evident c condiia este necesar. Reciproc, dac con di=
{*
ia este ndeplinit, g( (y))) sau este vid, dac (* (y)) este vid, sau
are un element, cci dac ar avea dou elemen te : z' E g(f*( y ) ) ) ,
z " E g(f *(y) ) , atunci z'
g(x' ) , z " = g(x") cu x' E f* (y), x " E f* (y ) ,
deci y
z " ; s numim
f(x')
(( x") , deci g (x') = g(x " ) , deci z'
cp(y) unicul element al lui g(f* y ) ) )
0 ; dac f*(y ) )
0 , s
lum pe CP{y ) arbitrar n Z C f' * [ (y)) .:i= 0 cnd y E Y-f[ X), c ci
din y E f(X) deducem y = f( x ) , deci x E f *(y)) :k 0 .
f( x ) , deci x E f'* ( (y) ) , deci g(x) E g( f'* [ y ) ) , deci g( x )
Fie y
cp( f(x) .
7. Dac
=
'"
dac
f(X U Y )
f'( X) U (( Y ) ,
X)
X,
f[f(
=
Ao
Bol
cu
T e o r e m :
Dac S este suma direct a mulimilor A i B, exist
dou funcii f i g
f : A S,
g : B S,
astfel nct, date fiind funciile
u : A -7 X,
v B --7 X,
s e xiste o funcie
h S
care s dea
-+
u = h o f,
v = h g,
o
A
f
Fig. 49
fi
.. x
g
B
71
I ntr-adevr, deoarece A
j ecii f, g
f A Ao
g B Bo
Dac z E S, deo arece S = Ao UBo i Ao n Bo = 0, definim
pe h(z ) prin dac Z E Ao atunci z = f(x) cu x E A i vom
lua h(z ) = n(x) ; dac z E Bo atunci z = g(y ) cu Y E B
i vom lua h (z) = v(y ) ; deci h(z) E X i h(f( x)) = n(x),
h(g ( y) ) = v( y ) .
Funcia h este unic, adic, dac
h S X,
k S X,
din
h o f = k o f,
h og = k og
deducem
h = k
Intr- adevr, f, g fiind bij ecii, au inverse
f- l : Ao A ,
g -l : Bo B,
i avem pentru z E Ao :
h (z f = h( f( f- l ( Z))) = k( f( f-l (Z)))
k(z )
i pentru z E Bo :
h(z) = h( g (g-l (Z )) ) = k( g (g - l( Z )) ) = k (z ) ,
d eci pentru z E S
h (z) = k( z).
Fie f o funcie
f: A
72
B;
goh
f'(x ' )
f(x " )
73
X /E ,..... f( X) ,
c
cp(.T )
cp
este
.'r .
surjecie
cp ( .T " )
{1 , , n }
. . .
-o funcie
'fi
N"
obiecte
1 , . . . , 1n
s fie aranj ate cte n
( il " '" i ,, )
al celor m obiecte, l , . . . m luate cte n.
Spunem c o variabil n Nn este n-valent (bivalent,
trivalent, tetravalent, pentavalent etc.).
Exercitii
S se construiasc :
1. Toate funciile cu argumentele i valorile in N2
2. Toate funciile cu argumentele n N2 i valorile n Na
3. Toate funciile cu argumen tul n Na i valorile n N2
T e o r e m a l.
n N n i palorile n Nm are m n
Dar cp(i ) poate avea m valori : 1 <.: cp(i ) -< m ; deci exist
astfel de funcii.
m"
75
T e o r e m a I I.
Nu exist o injecie
cp : N n N II_,
n elemen
iruri
cp : N A
se numete un r. Notm
ai = cp(i) ;
un Ir se scrie deci
Numim ir dublu o funcie
cp N2 A
i notm
ai j
76
cp(i,j) ,
cp N"
I notm
aiI
iT = cp(il
" '"
iT)'
cp 1
C1.,
Relaia
y = {{x)
ntre
(x,y) eFf C X
Y
X
Y.
77
A X (B
(A X B)
78
C)
Teorem
A X ( B X C)
-c
(A X B)
C.
--')o
(A X B) X C,
definit prin
( {a, {b, e } } ) = { {a, b } , e }
,....,
c
A X B X C
(A X B) X C -' A X B X C.
c
A"+! = A" X A ,
deci
A" = A X . . . X A
-
n ori
Exerc lfiu
Am X A H = A m+" .
Dae P este produsul cartezian
P = A x B
79
snt funciile
g(a, b )
f(a, b) = a
exist o funcie
h x p,
astfel ca diagrama
A
li
X
f
"
..
Fig. 50
jg
fo h = u
g o Iz = v.
Intr- adevr, este destul s lum
h(x)
( u(x), v(x) .
80
y E. Y}
. . . ) X n ) E Xl X
X" un y E Y
y = {(Xl' . . . , X n )
f este o funcie de n-variabile
{ E. Y
X Xn
Xl X
T e orem
YX1 X
X Xn r-' (
c
( YXr )
. . .
) Xn
r-'
c
( CB ) A .
gy
CB,
deci gy = h(y) cu yE B.
In acest mod concepem o funcie de dou variabile ca
o funcie de o variabil x, care fiecrui X E X face s-i
corespund o funcie gy
585
81
F( xl>
...
Xn, y ), astfel ca :
f : X X Y -+ Z
f : Xl X
este
injecie (a lui Xl X
X Xn
f(x, .. . , x) = f(x , . . . , x: )
deducem
x
x , . . . , x = x; .
Proprieti diverse
1. Dac fEZY i g E ZX, pentru ca s existe o !p E. yx
cu f( !p( x = g( x) este necesar i sUficient ca
g('X) C f( Y) .
Fie f*(z)
Ez C Y. S lum
(z) arbitrar, dac z E Z - f( Y)
este unic !p
82
r -1 og .
f( !p( x = g(x)
astfel ca :
f( x, y) = g{ cp ( x , y
..
Fie M, o mulime,
o relaie
de
echival en , R
li
MI = o relaie
astfel :
. .
=:
r:
IV
M ltimi d e multimi
n figurile 1 - 32 apar cte dou, trei sau patru mul
imi, tot astfel cum avem mulimi ca {a,b }, {a,b ,e, },
{ a ,b, e ,d } cu dou, trei sau patru elemente. Dup cum
avem :
b E {a,b,e, }, c E: {a,b,e },
a E: {a,b,e, },
tot astfel cu mulimile IX, , Y putem forma mulimea
{IX , , Y L care are trei elemeI)te i anume pe IX, pe
i p e y ;
IX E: { O( , , 1' } , E: (IX, , y), l' E ( 0( , , 1') .
Mulimea {IX , , y } este o mulime de mulimi.
Mulimea domeniilor circulare 1 r ;l', cu centrul n O
r,-
Fig. 5 1
i raza
n,
Fig. 5 2
r; c r; c r; ...
este un ir cresctor de mulimi ; mulimea {r;, r;, . . . }
este o mulime infinit de mulimi. irul domeniilor
1
telor
Domeniul circular cu
cu
< r.
OM
centrul
un r descresctor
rt) este
r
2 ,
IXl'
(1)
X E: IX2
s fie adevrat. D ac M
{0:1' IX2, IX3 }, atunci IX1 U IX2
U IX3 = IX1 U (IX2 U IXa) = ( IX1 U IX2) U IXa este mulimea tutu
ror elementelor x, astfel ca mcar una din aparte'n enele
=
x E: IX1,
X E: 1X2 ,
(2 )
X E: 1X3
,IXn }, atunci
s fie adevrat. Dac M = {IX1, 1X2,
IX1 U . , . U IXn = (1X1 U
U IXn_1) U IXn este mulimea tuturor
elementelor x, astfel ca una mcar din apartenenele
x E:
s fie adevrat.
86
IX1,
X E: IX2 ,
,x
E:
IX n
(3 )
REUN I U N E I NFINIT
U OI.i =
1=1
01. 1
U OI." U
apartenenele
x E al , . . . , x E a" , . . .
s fie adevrat.
Altfel spus :
Dup cum x E al U . . . U 01." nseamn c exist
fel ca pentru acel i s avem x E C1.j (bineneles,
este indicele uneia din mulimile 01.1 ' , 01.,, ) deci
mulime C1.i E M, astfel ca X E ai , l a fel n cazul
aC>
( )
un i ast
acest i
exist o
infinit :
U Ol.
"'EM
Vom defini pe a astfel : x E a nseamn c exist cel pu
in o mulime C1. E M a mulimii de mulimi M, astfel ca
X E OI. .
5.1 . Oricare ar fi OI. E M, avem C1. C U CX cci dac OI. E M
"'E M
i x E OI. , atnnci X E a .
5.2. Dac oricare ar fi C1. E M arem OI. C at nnci U OI. C A,
"'EM
cci dac X E o, exist o a E M,astfel ca x E a ; dar deoarece OI.E M, avem aCA, deci X E ; deci a C A.
=
87
Oi
(ZI
U aij
j= l
precum I
adic
aC>
CZI
a = U U CX ij '
;=1
jd
U CXi j ,
"'iiEM
pe care o vom numI
(ZI
00
(ZI
ii
00
00
ij
E vident,
co
ac
CD
00
i = 1 j 1
j = 1 ;= 1
M = UA.
AES
Dac
xE U O(,
"'EM
Fie
deci exist
A E6 cu
deci :
X E u aA ,
AE6
xE U
U lI.,
A E S "EA
deci, dac
M = UA,
AE6
89
alunci
U O(
aEM
= U
U O(.
E IXEA
Dac
UA
AES
UA
U B,
( 5.6 )
B E st
=
U B,
BE st
AES IXEA
U ,
BEst EB
deci,
dac
UA
ES
U B,
(5. 7 )
(5.8)
B E ".t
atunci
UCI:
E S "E
U .
BE ".t {3 E B
,obinut reunind n U
grupurile B E ;r.
BE ".t IXE B
IXEB
INTERSECIE I N FINIT
aC>
n O(i = 0( 1 n
n 0( "
i= 1
n O(
aEM
ntr-adevr, dac
E n IX, atunci
uEM
O( E M .
5 . 10. Dac oricare ar fi IX
[.t e n 1/..
uEM
pentru orice
x E IX.
M, avem
[.t
x
1/. ,
IX
atnnci
pentru
aEM
91
Xi
aC>
= n IX i;
{ l
precum i
pe care o scriem
CD
i=
aC>
n IXi; ;
j= 1
dac numIm
mulimea
n
D.ij E M
O(i;
n
ij
O(; i
00
i n
i= 1
aC>
j= 1
0(;;
au
<Xi
n IX ij
(5 . 1 2)
ij
Este evident c
00
CD
n n
i=l
j=l
92
O( I. {-
CD
CD
j=l i=1
IX ' II
( 5. 13)
D ac
X = n
ilEM
<'1. ,
.atunci
AEG
XA,
deci :
xE n
n IX.
AEC5 (lEA
Aadar,
dac
M = U A,
AES
atunci
n
ilEM
(1. =
n 0( .
A E f; aEA
( 5. 1 4)
D ac
A E @i
A =
B E st
B,
93
numind
M= U A
AE t:
U B,
(5.15)
BEst
( 5.14) d :
n IX =
AE@5 (lE A
(5.16)
n oe.
BE st (lEB
M = U { x} ;
2.
M = UX ;
3.
M = UX ;
4.
5.
b 6.
b 7.
b 8.
9.
94
xEM
XE2 M
X c:M
( U or.) X ( U ) = U (or.
ilEM
aEM
I'>EN
I'>EN
(nor.) X (n)
ilEM
A
I'>EN
(lEM
f (nor.) c n f(or.) ;
(lEM
(lEM
f * ( Uor.) = U f *(or.) ;
ilEM
IXEM
"
f * (nOI:) = n f * ( a:) .
(lEM
(lEM
) ;
n (or. X ) ;
ilEM
I'>EN
f ( UOI:) = U f (or.) ;
IXEM
'"
'"
-"
f ( na) = n f (a)
aEM
LEG I L E LUI M O R G A N
infinit :
aEM
(5.17)
U a = n
(5. 18)
aEM
aEM
asM
aEM
x E n oc
aEM
X e U IX,
OIEM
Exerciii
1. Dac
,, ==
6 : X -+ X,
vom numi
...
Avem
2.1.
2 . 2 . dac e
e o
2 . 3 . Ne (A n B ) = Ne(A ) n Ne ( B ) .
2.4. dac ACB, atunci Ne ( A l CNo (B ) .
PARTITI I
1.
U IX
C1E P
1.
0.
dEI/=
PRODUS CARTEZIAN I N F I N IT
Fie IXI ,
X IXn
IXn_1) X IXn .
cci funcia
0:
<Xl
definit prm
0(al,
0 0 0 '
an)
{ (al '
(ln_l ) . a n} ,
'
este o bij ecieo Deci definiia dat aici coincide, n afar
de o bijecie, cu cea de la p o 790
Dar,
nseamn ai E oci , deci nseamn c
ai =
cp(i)
97
deci cu o funcie, ai
...
n,...
OII
ca
cp( i) E !Xj
In general putem defini astfel produsul cartezian al unei
mulimi indexate { !Xi }iEI
P
IT
iEI
!Xi
iEI
astfel ca
cp( i ) E !Xi
Dar fiecare ir
ai
cp
( *)
Nn
U !Xi
i
unde
Nn
(1, . , n )
..
cp : N
-7
LJ
i=l
!Xi
98
M U IX
aEM
definit prin
( O:i )
(i)
deci
(o:) E o:
deci funcia alege cte un element ( oc ) din fiecare ele
ment oc al lui M. Vom spune c este o funcie selectifJ.
AXIOMA LUI ZERM E L O
99
LEGILE
D ISTRIBUTIVE
Legea 1
a n (bl U b2)
se extinde uor la :
a n (bl U
U (a n b,, ) .
deci la
n
a n U bi
U (a n bj) .
i=l
i .1
b;
=[il
al n
U a2 n
b,
;0\ bi] [ il ]
]
] (il
(al n bJ U
(a2 n b ;l
i analog la
Sau
unei multimi care s con tin cte un element si numai unul din
'
fiecae p ereche din F, nu j)oate fi obinut fr axioma alE'gerii.
In urm cu aproape 20 de ani, matematicianul american (de
origine austriac) Kurl G6del a reuit s demonstreze c dac sis
temul de axiome al teoriei mulimilor este necontradictoriu, atunci
el rmne necontradictoriu cnd i se adaug ca o nou axiom,
axioma alegerii . Era astfel spulberat posibilitatea de a demon
stra c axioma alegerii este fals. Rmnea ns posibilitatea de a
demonstra falsitate a negaiei axiomei alegerii. ns i aceast po
sibilitate a fost spulberat n urm cu civa ani, de ctre mate
maticianul american Paul Cohen, care a artat c negaia axiomei
alegerii nu este contradictorie. Acest rezultat, mpreun cu cel al
lui Kurt Godcl, conduce la co ncluzia c axioma alegerii co nstituie
o propoziie independent, cu alte cuvinte nici ea, nici negaia ei
nu snt contradiclorii. Exist deci o matematic cu axioma alege-
100
I la
U alnl) n . . . n ( am 1 U
U
(al i 1 n
U am "l1, )
n ami", ) .
funcia
-< r -<
cp
cp (
r)
cp(r) EN" T
,
ni
n U Cl:ij
i=1 ;=1
li
n aj'P(i)
1
(5. 19)
se extinde Ia
i=1
i=1
a U n b i = n (a U bi)
deci
ni
U n (Xi i
i=1 i=\
n u
tY.icp(i)
r;>
(5.20)
i E I JEJi
u n (Xii
iEI jEJi
n u
r;>E'I' i E I
IZi<pC) ,
I
(5.22)
II li' }
iEI
i Ji
(Xii ;
i E I iEJi
deci o funcie
cp : 1 U l i ,
astfel ca
iEl
cp ( i ) E li ,
102
deci cu (J;)
(J;) E Ji ,
deci :
iEI jEJi
n (7.io i deci c X E oci j pentru orice j, deci
fEJ
. 0
'l' E V
OCi'P(i)
u OC,
aEi,I
am vrea s
obinem pe oc U , am lua mulimea Jl1 = {oc, } =
= {Ii } U { }, bineneles dac oc =F ; dac ns oc
,
atunci {oc } U {oc } = {oc } = {oc, oc } i n-am mai p utea
obine pe oc U oc.
Pentru a putea obine pe oc U oc i pe IX n oc trebuie
s definim disj unciile i conjunciile
a
x
U (7.i ,
EI
= n OCi,
iEI
I
iE I
X E n oc; nseamn c pentru orice i E I avem x E
iEI
!Xj.
cu
103
iEI
IXi
U IX
!lE cp(ll
iEI
IX =
i
n IX.
aE<v(l)
AEm
XE9)(
astfel nct
a ) X::l A
) X este un lan pentru cp.
Observm c 9)c +- 0, cci 1 E 9n i A cp :::J A.
A cS
cp(A'r n S ) c S.
Dac A C S
S.
cp ( A rp n S) es,
atunci A" C S.
Din CP(A';l n S) c S i din cp (A,c n S) e A rp deduc <p
(A 'r n S) C A 'l' n S, deci A rp n S este lan pentru cp. Or, din
A c S, deci A eAqJ n S, deducem c A,p C Arp n S,
deci A,p e S.
Ultimele dou teoreme arat c pentru a -dovedi
c .fi '" C S este necesar i suficient s artm c AeS i
cp( A tp n S) C S; aceast metod este analog metodei de
inducie complet. Se poate enuna:
Pentru a dopedi c orice element al lui A are proprie
tatea de a aparine lui S este destul s artm :
a ) C orice element al lui A rp aparine lui S.
) C o imagine prin cp a oricrui element al lui A rp
ce aparine lui S aparine i ea lui S.
105
Dac Wl este
mlllime de mulimi :
( n X)cp c
n Xcp
XEj)]
XE[Q
( U X)cp
U Xcp
XE[Q
XEW"/
de
mulimi
r:J.
astfel
ca a
ilEm
aE0
vid? Dar
aE0
aEI
11.,
r:J.
11.,
0 fiind mul
i n
aEI
r:J.,
/ fiind
nseamn c exist o
E W1 i x E
a,
deci x E U
aE0
r:J.
ar
fals, deci
(1)
DE0
Conform definiiei x E n
atE0
11.,
deci
n IX. = /.
Conform definiiei x E U
mulime
106
IX.
cu
IX.
aEI
E / i x E
IJ..,
r:J..
(2)
nseamn c exist o
Dar {x}EI i x E {x},
U IJ..=I
aEI
Conform definiiei x E n
aEI
IX,
atunci x E 11..
Dar 0 E 1 i totui x 0,
"EI
fi x, deci
C/.,
oricare ar
TEOREMA L U I BAtUCH
cu
Y1 U Y2
YI n Y2 = 0,
astfel ca
rp (Xl) = Y1
S considerm mulimea
A
care d
I.ji( Y}
X - I.ji(Y ),
X-A.
)
)
IJ..
Z:JA
l.ji(rp(Z)} C Z.
107
c n Z
ZEW"/
ZE9J!
ZEW"/
Xl'
deci
AverI'. A C Xl i (CP(XI)) C Xl' dec.i A U y(cp( XI )) C
C Xl Pe de alt parte, A U tjJ ( cp(X1 )) :J A i tjJ(cp(A U
U tjJ(cp(X1)))) C ( cp(A)) U (cp(.f(CP(Xl)))) C tj;(cp( XI)) C
CA U (CP(XI)). dec i A U lji(cp(XI)) Eilll deci A U
U (CP(XI)) :J Xl' deci
A U y(cp(X1) ) = Xl
S lum
X2=X-XI,
YI = cp(X) ,
Y2 = Y - Y I;
se vede c
x = Xl U X2
cu
Xl n X2
YI U Y2
cu
Y1 n Y2
0,
0,
= (X - A) - (CP(XI))'
=
X -
(A U lji(cp(XI)),
X - Xl'
X
= 2
X_
<jJ: Y
100
--+
Y,
X.
= Xl U X2
cu
Xl n X2
O,
YI = cp(X1),
atunci s avem
Y=YIUY2
1 . Dac
el
X = X
.X = X U X,
X;,
atunci punnd
x;= x; n X,
X X U x,
xi=X u X,
Am
X, xt x,
Xi n X = 0,
Y1 = 'f'(X),
presupus c
x = <)i(Y),
Y = ViU Y,
y n Y
XtnX2=0,
Y =Yiu Y;,
YInY1=0,
S considerm multimea
'
tip Banach. Fie
2.
X n X=0,
y = rp(X),
x"= tjJ(Y),
y = yr u Y,
Y i n y= O
y= rp(X).
x = <)i(Y),
0,
YI =cp(xYl,
i=tjJ(Y;) ,
=
Trebuie s dovedim
y snt astfel ca
x n x = O,
y= y UY,
yy n y = O.
a tuturor descompunerilor
X = u xI,
xi = n X.
x = U X;,
"'El!.
'El!.
de
n X,
El!.
'rEl!.
109
"i
fL
avem
O"
de tip Banach.
3. Mulimile X1- X.
X - X sint invariate de endo
morfismul ljio<p iar Yf - Y, Y - Y snt invariate de endo
morfismul <potjJ.
4. Construci a dat la p. 107 sqq, d mulim ile
00
(1 }
X = x-xi.
(2}
n=O
(3)'
Xf= X-Xf
(4)
5.
Fie
eJE
U (<ptji)n (y - <piX)).
Y- Y.
x Iji(:!i).
x = x-x.
Y
Y
S se arate c
Y = <p(X).
Intr-adevr.
li
110
Y - Y = Y- [( Y- <piX)) U <plji(yn
[ Y - (Y - <piX))] n [ Y- <p(<jJ( Y))J.
deci
cp(X - X)
cp(X) - cp(X)
cp(X1).
6. Avem
cci
!n.rp(X)
00
n (tjJcp)n (X),
n=O
Iar
cci
deci
0,
deci
0.
Avem
cci, deoarece
00
X U !n<jJ<p(X),
111
Aigebre booleene
Dac privim felul cum se desfoar capitolele 1 - IV
:sntem izbii de faptul c n capitolul 1 proprietile
1.1-1.42 nu au fost demonstrate
cititorul a fost
ndemnat s priveasc figurile 1-21 i s constate c
proprietile snt intuitiv justificate.
Acest mod de a proceda nu este ns cel al matem a
ticienilor, dect dac a m considera proprietile 1 . 1 - 1 .42
,ca axiome; cu definiiile 1.43, 1 . 58, 1 . 59, 1 . 76, 1.84 - 1 .87 ,
1 .99, 1. 107, 1 . 1 15, 1.121 axiomele 1 . 1 - 1 .42 dau teore
mele 1.44 - 1 .57, 1 .60 - 1 . 75, 1 . 7 7 - 1 .83, 1 .88 - 1 .98,
1 . 100-1 . 1 06, 1. 108-1 .114, '1.116- 1 . 120, 1.122, 1 . 123 i
teoremele 1, II de la pp. 33 i 35.
Considernd ca axiome pe 1 . 1-1 .42, explica iile date
n text la pp. 9-25 servesc pentru a justifica introdu
cerea acestor axiome; sistemul de axiome 1 . 1 - 1 .42 a
fost sugerat de proprietile m u limilor considerate ca
,cunoscute intuitiv.
Snt ns proprietile 1 . 1 -1.42 independente? Nu
pot fi ele toate deduse din cteva dintre ele? Vom do
vedi n cele ce urmeaz c' acesta este cazul.
Numim algebr boolean o mulime B n care se dau
-o relaie" C " i dou legi de compoziie binare 1 " n "
1 rin lege de comp oziie binar n mulimea M se nelege
-o funcIe M x M --+ M.
112
A xiomele grupului I
1.1
a C a,
II.l
11.2
II.3
A xiomele
III.l
III.2
x n (y U z) C (x n y) U (x n z),
x U(y n z):> (x U y) n (xUz).
(x n x) Uy C y,
(x l!I x) n y :J y;
IV.l
IV.2
Este evident c
IV.1
IV.2
se pot scrie
x n x c y c z U z.
1.2
1.1
1.2
1.3
Din
1.17
1.37, 1.38
1.18
1.28,1.31
1.9
1.10
se deduc
III.1 III.2
1.33
1.34
IV.
Deci :
T e o r e fi . Mulimile formeaz o algebr boolean.
Precum am artat in cap. 1, prin mulimi nelegem
lui 1. Aceast teorem nu a fost demon
submultimile
'
strat, cci 1.1-1.42 nu au fost demonstrate.
8
- 585
113
dac a C b, c C d, atunci a n c C bn d i a U c C b U d
a na
a,
aUa
a,
=
anb
bn a,
a U b = b U a,
an(bnc) = (anb)rc ,
a U (bUc) = (aUb)Uc,
an(aUb)
a,
a U (anb)
a,
an(bUe)c(anb) U(anc), aU (b nC):J(aUb) n(aUe),
aC b echivaleaz cu a n b = a sau cu aUb
b.
=
114
(xny )U(xnz)
xn
(a n b) U (an c),
aU (bn c) = (a U b) n (a Uel,
O,
x U x = ,
xn x
z C 1
snt 1.28, 1.31, dar 0 este numit aici 0, iar 1 este numit
Din aceste proprieti se deduc 1.27, 1.32
1.
= 0,
oU z = z,
1 n z = z,
1U z --:- 1.
z
c n x :..- 0 ,
cUx = 1
l1S
cci dac
cn y = 0,
cUy = 1,
;X; = e,
atunci y = y n 1 = Y n (c U x) = (cn y) U (x n y) =
= U (x n y) = (c n x) u (x n y) = x n (c u y) = x n
n 1 = x.
Corolar 1.
c = c,
cci
c
n c = 0,
cUc=1
i
n c= 0,
cUc=L
Corolar II.
an b = U b,
cci
( a n b) n ( Uh )
(a n b) U ( U h)
deci
(a n b n ) U ( a n b n h ) = 0,
(a U U b) n (b U U h) = 1,
a n b= U h.
Corolar III.
aU b = n h,
cci
(a Ub) n ( n b)
(a n n b) U (b n n h )
O,
(a U b) U ( n b) = (a U b U) n (a U b U h ) = 1.
=
<lEM
na j
aEM
2.3
2.4
2.11
2.12 2.18
2.19
meaz
deci
V X)
VS
(=) S,
& S (=) S,
deci dau
(R &
S
=9
R) V S
=)
S,
Exercijil.
S se interpreteze toate prop rietile '1.1-1.4.2 pentru relaii.
Relaiile nu constituie ns o algebr boulean oareo al g e b r boolean in care exist
(X) o lege de eo m pozi l ie : produsul a dou rela,ii RS;
care, ci
)
il
.....---.
il n S
RUS
R,
-
R n S,
RUS,
R(ST)
"1'
(RS)T
i satisface condiia
Numim
.532 = (O, 1)
Vom defini n
0:) funciot
22
x X
prlll
) funciile " U " i " n" prin
1
nlO
UI O
Oi O
O
O
1
O
I 1
11
1
1
1
deci
x n y = xy
U
x
y= x + y - xy
y) relaia "C" prin
O CO,
O C 1,
1ct
Se arat uor c
.532 este o algebr boolean.
x Ux= 1
119
Exerciii. S se verifice c
1. x + y
(x n y) u (x n y)
= (xUy) n (x u y)
2. xUy = xy + x + y
=
3. S se calculeze n B2 funciile:
, ) definite Ia pp. 2 5 - 33.
T, #, ( . ,
-=i=-
-L,
120
VI
Reducerea algebrei mulimilor
,i a algebrei relaiilor la logi ca predicatelot
IMPL I CAT l A, C ONJUNCIA, ECH I VALENTA,
D I SJUNCTIA I NEGAT I A
c(,
el este i un
atunci x E .
c(,
q,
in loc de :
dac p, atunci q;
alte forme verbale au acelai neles:
- din p se deduce q;
- p are ca consecin pe q;
- p este o condiie suficient pentru q;
- q este o condiie necesar a lui p.
121
nseamn:
dac x R y, atunci x S y,
ceea ce este definiia dat la p. 37 a relaiei de implicaie
R=9 S
a relatiilor.
Semul ,,-?
poart numele de implicaie: dac p
i qint propoziii, atunci i p -? q va fi o propoziie.
S considerm proprietatea egalitii </. = 13 a dou
mulimi, dat la p. 10:
atunci o: = 13 ;
--
sau
x E o: este condiie necesar i suficient ca x E 13
Vom introduce semnul echivalenei ,,-" a dou pro
poziii propoziia
p -q
t Egalitatea
'------------
Ot
Propoziia
r (X-E-CiJ
'
(x E ).
-- ---- --- - --
"
: :---'
(a R y) (x S y)
nseamn: x R y dac i numai dac x S y; din definiia
echivalenei relaiilor dat la p. 38 se vede c aceast
propoziie traduce simbolic relaia
R (=) S
Dar propoziia
r_8
traduce propoziia n limba romn
r 8 i 8 r.
Dac avem dou propoziii p i q, propoziia
p
i q
se va scrie
P & q,
semnul ,,&" fiind semnulconjuncieipropoziiilor. Decir_8
nseamn (r s) & (8 r). Cu alte cuvinte, propoziia
I
in loc de
p sau mcar q.
iar
l_.=--)
. .
(x E ), )
(x R y) V (x S y)
definete disjuncia relaiilor: relaia R V S de la p. 40.
V om observa c propoziia
'",
xlt;C(
\
\ (!._E:: 0:),
__
prin
(xJry)
(x R y).
Semnele:
---:>
B
&
39, es te definit
implicat i a
ec hi val e n t a,
conjuncia,
disj unctia,
nega lia
p---:>q
dacli. p, allll1ci q;
...... q
p i q;
P &q
p Vq
P sau mcar
q.
Am artat c:
E a)
E )
(6.1 *)
(6.2 *)
6.3 *)
Ellercifii:
S se transcric definitiile
1.43 , 1.58, 1.76, '1.88, 1.99, 1;107,
'
1.121.
Rspuns:
Exercitii
S se traduc n limba romn definiiile precedente.
Rspuns:
x E - (3 : x este , dar nu este (3;
x E ....... (3: dac x este , atunci este i (3,
x nu este dect dac este i ;
x E Ol + (3: x este a, dar nu sau x este (3, dar nu Ol.
Aceasta este traducerea latinescului aut:
aut aut (3 nseamn "sau sau (3, dar nu i ce
i 13" adic: "sau , dar nu 13" sau ,,(3 dar nu Ol";
x E :;:: (3: mulimea acelor x care dac sint snt i (3"
iar dac nu snt nu snt nici (3;
x E ..l : mulimea acelor x care dac snt Ol, atunci nu snt (3;
x E Ol T (3: nici Ol nici .
(6.1 * * }
(x
li y)
[i(x R y)].
}
}
(6.2
**
(6,3
**
TIPURI DE DEMONSTRATII
dat ce ,p este
atunci
P & q.
Te o r e m a Il 1.
plicaJ!.e. )
Dac
q,
atunci
p-'> q
L
-,>
p.
p-'> q
q -,> p,
atunci
p q.
Te ore
Dac
p-'> q
q
-,>
r,
-,>
r.
atun
Intr adevr, dac din p se deduce q i din q se dedu
atunci din p se deduce r.
T e o r e m a VI. (Demonstraia
p rin silogism ipoe.
..
tic cu e.phivalen.)
ce
r,
- --_._.
7)
_-
---
q,
p
q r,
127
atunci
P
r.
p n-l B p n
PIB p n
Dac
. .-_.- .
...
p Vq
i dac
p r,
q ---:> r,
.atunci
)I'-(i
;r}
y--
-'c
/ r.
Prop oziia
pp
(6.4)
de pild :
dac plou, atunci plou,
sau sub forma
dac Hector ar fi cel, atunci Hector
ar fi cel.
Aadar,
(6.4 * )
(x E 0:) (x E 0:),
incluziunii ;
(6.4 * * )
=>
R,
(6.5)
(p & q ) (q),
(6.6)
(6.7)
(p) (p V q),
(q) (p V q)
(6.8)
- 585
129
o:n co:
(6.4) - (6.7) :
(6.5 **)
{6.6 ** )
(6.7 * *)
(6.8 **)
(6.1 * * )
(6.5**)
Propoziiile
(6.9)
(6. 10)
(6. 1 *)
(p
q)
q)
(6.11)
(6.12)
(r V q) j
(6.13)
---,>
---,>
( p q)
---,>
[(r V p)
<-?
---,>
[( p V s) B (q V s)]
(p
q)
<-?
(6.14)
(d)
{[ (x E el) & (x E
. y)] [xE (el n y)]} ---,> ( {[ xE (el n )] V
[(xEel) & (xEy)]} <-?{[XE(el n )]V[x E (el n y)]}), (e)
132
(f)
[x E ( IX n ( u y )) ] -+ [ x E (( IX n ) U ( IX n y ) )]
este adevrat.
Ca exerciiu, lsm pe seama cititorului demonstra
ia lui III.2. De asemenea, lsm pe seama cititorului -de
monstraia n cazul relaiilor.
Propoziiile:
[(p & ( I p ) ) V q] -+ q,
p [p & (qV ( 1 q)))
(6.1 5}
(6.1 6)
(
x
E
)
E
(
m.r, F. ) & 1 x el V
t E
133
oc
deci
oc
) u )]
( x E ),
(oc n Ci) u c ,
x, y.
( x) p
n loc de
oricare ar fi x: p,
deci
(x R y )
implicaia
relaiilor
putem,
( x S y ) s formm pe
(y)[(x R y) (xS y )]
plecnd
de
la
care nseamn:
dat fiind x ,""5ricare ar fi y : (x R y) (x S y). Aceasta
este o proprietate a lui x.
"
S lum un exemplu : Fie relaiile " C i "
" pen
tru mulimi i proprietatea lui 0:, pe care o numim P(o:) :
() [(o: C ) (o: = )].
Mulimea vid nu are proprietatea P , cci 0 C i
o =1= pentru orice =f= 0, deci nu este adevrat c
(0 C ) (0 = ) pentru orice . Mulimea total are
proprietatea P , cci dac 1 C , deoarece oricare ar fi
, C I, avem I =, deci
)].
( ) [ (I C ) (1
=
Ideea
(x)(y) [ (x R y)
(x S y)]
S)
(6.1700)
(6.1800)
135
(6.4 * )
(6.20)
->
->
( x) { (x E )
136
[x E (o: U )]}.
(6. 22)
(6.23)
(6.24}
E IX) -+
(x
E IX)] ,
IV.1, IV.2.
Propozi ia
[ ( p q) & (q
este totdeauna aderrat.
---?
r)]
(p
r)
(6. 29)\
x,
i aa mai departe.
Vom enuna principiul :
Propoziia
{( x) [P(x)
Q(x)]} {[(x)P(x)]
[(x)Q(x)]}
(6.30)
Q(a)
P(a),
Propoziia
{ ( x ) [P(x) &Q(x) ]} {[ (x)P(x) 1 & [( x)Q(x) ]}
(6.31)
Propoziia
{ (x)[P(x)
Q(x)] }
{[ (x)P ( x)]
[( x) Q ( x)] }
( 6.32)
( a)
Dar (6. 3 1) d
Propoziiile
( p q) [( p r ) (q --7 r ) ] ,
( p q) [(s p) (s q ) ]
(6.33)
( 6.34)
(c)
(d)
Propo ziiile
[ (p q) & (s t )] ( (p & s ) (q & t)],
[( p q ) &(s t )] [( p V s ) (q V t )] ,
[ ( p q ) &( s t )] [( p s ) (q t ) ]
(6.35)
(6.36)
(6.37)
(i
r,
(h)
f:
y) ]
(-7
( oc C y ),
cal'e este 1 . 2.
S ncercm s dovedim pe 1.3
[ l oc C ) & ( c oc)]
-+
( oc = ) .
(-7
(i)
,Ie rna :
Propoziiile
[(p --') q) &(q --') p) ] -+ (p (-7 q) ,
(p q) --') [(p --') q) & (q --') p ) ,
(p (-7 q)
(-7
(6.40)
(6.41)
(6. 42)
D educem p e
( x E )] } .
(j )
{( x )[( x E oc)
(x E )] } ,
avem
[(oc C ) & ( C oc) ] -+ (oc
).
) [( o: C ) & ( C oc)].
{( x)[(x E y)
(a)
(x E oc)] },
(y C ) {(x) [ (x E y) ( x E )] } ,
[y C ( oc n )] {(x)[( x E y) ( x E (oc n ))] ).
(b)
( c)
(d)
geci
{(x E y)
'42
{( x E y)
[ x E (oc n )] }
-+
[( x E oc) & ( x E )] }
( e)
( f)
[(x
Propoziiile
(6.43)
[(p q) & (p r ) ] [p (q & r )] ,
r
(q
p
q
(6.44)
r]
r)
]
[(p
V
&
)
[(
)
snt ntotdeauna adeprate.
Intr-adevr, dac p r i q r, atunci din p de
ducem i pe q, i pe r, deci (6.43).
Dac p r i q r, fiecare termen al dilemei p Vq
are drept consecin pe r, deci 6.44.
Din aceast lem deducem c
oc
C , atunci :J
ii.
143
(x E )]
[(x
E::
(x E
Dar
fi)].
(a)
(x E ) (x E a)
(b)
(x oc)
(c)
se scrIe
(x )
.sau
1 (x E ) 1 (x E oc) .
(d)
(x E rt)
(i; E )
(e)
I ( X E oc ) ,
1 (x E )
i ( e) se deduce
(oc C)
( C
oc)
citito
Propoziia
(6. 4 7 )
pV,p
este ntotdeauna adevrat.
(6.48 )
( 6.49 )
(6.50)
1, iar .,
deci
IX
585
10
n ii
0,
care este
, [x E (IX n )].
145
@) i [( oc C ) &
CUANTORUL EXISTEN I A L
oc n = 0
I mulimi nedisjuncte
=1= 0 .
Aceste idei se deduc din int ers eci e i din ideile
A
@,
[1. =F 0.
Propoziia
(j
't"
xE0
este intot de a un a fals ; propoziia
1 (x E 0)
este ntotdeauna adev r at , deci propoziia
(x)[ 1 (x E 0)]
este adevrat.
D ac ins [1. =F 0, propoziia
x E [1.
(6.52}
(6.53}
(6.54}
(6.55)
[(x)p]
(x)p V (E x) ( -, p),
(6.56)
( x)( -, p )
(6.57)
(Ex)p
(6.58)
(6.59)
(6.60)
(6 . 61)
VI I
Analiza judecilor din capi tolele precedente
1-49
Din contra , proprieti de tip ul lui 6. 1 70 - 6.30, 6.3 1 6.32, 6.52- 6.57 conin cuantori ; ele snt specifice logi
cii predicatelor ; propo ziii ca 6.4 *, 6.5 * - 6.8 * , ... i
toate celelalte notate cu un asterisc, 6.4 * * , 6. 5 * * - 6.8 * *
,.
. , i toate cele notate cu dou asteriscuri snt i ele
proprieti ale logicii predicatelor, dar, neavnd cuantori,
fac parte din logica .predicatelor cu variabile libere.
S comp arm j udecile din cap. V.
n acest capitol ne-am ocupat de o mulime B n
care se dau :
- relaia de egalitate ;
- o relaie binar " C " ;
- dou legi de compoziie binare, " n " i " U " i,
una monar ,,- " ;
- tot obiceiul de a face matematic.
Deosebirea din cap. 1 i cap. V este net : n cap. 1
s-au j ustificat intuitiv anume definiii i anume proprie
t i ; n cap . V s-au ales anume proprieti ca axiome i
din ele s-au demonstrat altele ca teoreme, demonstra
iile s-au fcut dup obiciul matematicienilor.
Despre acest obicei vom vorbi n acest c apitol.
150
--==]; 1
adevrat
(1 )
fals
fals
adevrat.
fals
fals
fals
adevrat
(2)
cci " p i q " este fals, dac mcar una din propoziiile
q este fals, i nu este adevrat dect d ac i p i q
snt adevrate.
Valoarea logic a propoziiei p V q este dat prin ta
bloul urmtor, n funcie de valoarea logic a lui p i a
lui q :
p,
V
fals
adevrat
'1
--
fals
adevra t
--- --_
fals
adevrat
adevrat adevrat
(3)
.152
a lui
( l p ) V q,
falsrat
fals
adevrat
adevrat adevrat
adevrat
fals
(4 )
fal rat
J
l
fals
adevrat
adevrat fals
adevrat
fals
Dac scriem
1 In loc de aderdr
n loc de fals
iar funciile
numit :;.
--
- &
- - -
- V
- - - - -
+-+
n
- - U
.Ia
pp. 27
i 29. ultima
153
p,q, . . . vom
lori logice
Exemple
p
fals
ip
adevrat
adevrat
adevrat
fals
adevrat
adevrat
adevrat
i ( p & i p) l
p&j p
fals
fals
p V ip
p --- p
iip
p -iip
adevrat
fals
adevrat
ad evrat
ad'evra t
adevrat
p&q
(p & q) -+ P
p
fals
fals
fals
adevrat
fals
adevrat
fals
fals
adevrat
adevrat
adevrat
adevrat
adevrat
(p & q) -+ q
p Vq
adevrat
fals
p -+ (p V q)
adevrat
-+ (p V q )
p --+ (q
-+
p)
adevrat
fals
adevrat
a devrat
adevrat
adevrat
adevrat
adevrat
adevrat
adev rat
adevrat
adevrat
adevrat
adevrat
adevrat
adevrat
adevrat
adevrat
adevrat
adevrat
( 1)
(II)
Dac m i m ---7 m snt teze, oricare ar fi propoziiile
e nlocuiesc literele p,q, . . . ce intr n m, m, att m ct
i m m snt adevrate, deci examinnd tabloul (4), n
( 1 ) m va fi adevrat i examinnd tabloul ( 5), n ( I I )
. m v a fi adevrat, deci )8 v a fi o tez att in ( I ) ct
i n ( I I ).
S considerm raionamentul prin silogism ipotetic :
m B
5B Q:
( In)
m Q:
i
m m
m Q:
(IV )
m B Q:
In mod analog, dac m m i )8 -+ Q: snt ntot
deauna adevrate, pentru orice valori logice ale propo
ziiilor ce nlocuiesc pe p, q, . . . putem avea
m fals,
m adevrat i m adevrat ; n acest caz Q: trebuie
s fie i ea adevrat ;
deci m -+ Q: este adevrat.
D ac m +-+ m i -+ Q: snt ntotdeauna adevrate,
putem avea
m fals i m fals, deci Q: fals
m adevrat i m adevrat, deci Q: adevrat ;
deci m +-t Q: este intotdeauna adevrat.
D eci irurile de expresii
.s 1
155
-+ ( q -+ r )] -+ [ (p -+ q) -+ (p -+ r)l;
[p -->- (q -+ /')] -)o- [ (p & q) -+ r] ;
[(p & q) -+ r] -+ [p -+ ( q ....... r)] ;
(p -+ q) ....... [ (p -->- r) -+ (p -+ ( q & r)) ] ;
[p
( p ....... r)
-+
[(q -->- r)
-->-
(( p V q)
-+
r)]
7.10 (p & q) q ;
7.11 (p -7 q) (( p r) --? (p
(p
r)) ;
+--+
q)) ;
( q & r ))) ;
7.12 p --? (p V q) ;
7.13 q --? (p V q) j
157
-4
r)) ;
un
Ir
1 ' ' n ,
Exemp lu de demonstraie 1 :
1 este expresia p
-4
(q
p) ;
Exemplu de demonstraie II :
158
r)
--? (p --?
(q & r))) ;
& q)
este ex presia [(q & p ) --? ( p & q)] --? [(p
.
&
- (q
&
&
q) - (q p).
1l este expresia (p
p )] ;
V q) -+ (q V p) ,
(p V q( +-+ (q V p),
(p V ( q V r) ) ((p V q) V r) ,
(p
(p & (q & r) )
+-)o
(( p & q) & r)
Q;n,
159
Exemplu :
'ala
, 1
Q; h Q;i.
- 585
161
lui 6.20
6.24 de la p. 136 s-au fcut graie lui
principiul demonstraiei prin generalizare.
-
r,
numit
de expresii
[(x)P(x)] -? P (y),
([(x) P( x) ] -? P(y) } -7 { I P(y) -7 [ I (x) P(x)] ) ,
[ 1 P ( y)] -? { 1 [ (x)P(x)] }
(y) {[ I P(y)] -? [ 1 (x) P (x)] },
y) ([ I P (y )] -7 [ 1 (x) P( x)] }) -?
-? ([(Ex) I P ( x)] -7 [ I (x) P(x)J ),
[(Ex) I P(x)] -? [ 1 (x)P(x)],
[ I I (x) P(x)] -7 [ 1 ( Ex) I P(x)],
[(x) P ( x) ] -+ [I I (x) P( x)],
(x) P( x ) -+ [1 (Ex) I P(x)],
[1 P(x) -7 [(Ey) I P(y)],
{J P(x) -+ [(Ey) J P(y)] } -+
-+ ( [ I (Ey) J P(y)] -+ [ I I P(y ) ] } ,
[ 1 (Ey) I P(y)] -+ [ I I P( x)],
[ I I P( x )] -+ P( x) ,
[1 (Ey) J P(y) ] -+ P(x) ,
[ 1 (Ey) J P(x)] -+ [(x) P(x) ]
(a)
(b)
(c )
(d)
(e)
(f )
(g)
(h)
( i)
(j )
(k)
(1)
( m)
(n)
(p)
este o demonstraie.
Intr-adevr, (a) este 7.21, (b) provine din teza de
logica propoziiilor :
(p -+ q) -+ ( I q -+ Ip)
(*)
prin substituie ; ( c) provine din ( a), (b) prin modus po
nens, (d ) provine prin generalizare din (c) ; (e) este 7,24 ;
(f) prov ine din ( d ) i (e) prin mod us ponens ; (g) provine din
( *) prin substituie ; (h) provine din 7.16 ; (i) provine din
(h) , (g) prin silogism ; (j ) este 7.23 ; (k ) provine din ( * )
prin substituie ; (1) provine din (k) i (j) prin modus
ponens ; (m) provine din 7.6 i 7.16 ; (n) provine din (1)
162
(7.25)
(7.26)
S dovedim pe 6.32.
S considerm irul de expresii :
(a)
( b)
&
(c)
( f)
(g)
(h)
(i)
(j )
(k)
-+ (q -+ (p & q)),
163
-+
[(p & r)
-+
(q & s)]
{p & (p
-+
q) ) -+ q
( (p & q)
-+ r
-+
( q -+ (p -+ r
7.25
7.26
( a = b) -+ [P( a) -+ P (b)].
a,
164
Exemplu de demonstraie :
(a
{( a
b) [ ( a c) (b c )] ,
b) [( a = c) (b
)] } {( a
a
[(
b) (b
c)] },
c)],
-+
b
a
b)
[
c) (
(
a) [(a = b) (b - a)],
a),
b) (b
a) -+ [ ( a
b) (b
c)],
c) ,
a ) & (a
b)] ( b
b),
b)] (c
a) & (a
b) (c
a) -+ [(a
b)].
(a
(a
(a
(c
[( c
[(c
(c
(a)
(b)
(c)
(d)
(e)
(f )
(g)
, ( h)
(i)
c)
[p (q r)] [q (p r)] ;
(c) provine din (b) i (a) prin modus ponens ; (d) provine
din (c) prin substituie ; (e) provine din (d) i 7 .25 prin
modus ponens, (I) provine din ( c
c) - care
a) (a
provine din (e) prin substituia lui a cu c i a lui b cu
a i (c) prin silogism ipotetic ; (g) provine din (f) prin
modus ponens cu o tez ce provine prin substituie din
teza de logica propoziiilor
=
(p (q r ) ) ( p & q) r) ;
( h) provine din (g) i (e) ; (i) provine din ( h) prin modus
( p & q) r) (p (q r) ) .
Tezele (e) i (i) snt legile de simetrie i tranzitivita l e
ale egalitii
(a
b) (b
a),
7.27
7.28
(a
b) -+ ( b = c) ( a c) ) .
=
165
7.29
7.30
--+
(y
z) }.
--+
( x = y) } ;
[( x
y) V ( y = z) V (x
z)] ) ;
i aa mai departe.
Aceasta este logica predicatelor de ordinul I.
166
uor de vzut c
Cj ( xI A ( x n Cj( xIB ( x) ) ,
Cj ( xIA ( x) & B ( x) )
Cj( xIA ( x) V B ( x) = Cj( x IA (x) U Cj (x lB( x) ) ,
Cj(xl i A ( x)) = Cj(x I A(x)
=
I c
(x) [ A ( x)
( x) [ A ( x)
0,
( X) [ i A ( x)] echivaleaz cu Cj (x)A (x))
(Ex) A ( x) echivaleaz cu Cj( x IA (x) =1= O.
=
.
Fie M o multime cu n elemente ce vor fi numite
el' . . . , eno O rela ie R ntre elementele lui M e deter
minat de cele n 2 propoziii.
Pi j : elementul ei este n relaie R cu elementul ej '
Vom numi :
adepr dac elementul ei este n relaie R cu
l ej ,
rij
.
;l ementu
l als , d ac elementul ei nu este n re1 aIa R cu
el ementul e j '
=
167
lt ( R V S)
mt.( R)
U .llIt (S)
cu
{rij} U { Sij }
2 . m(R
cu
S)
&
f r'ij } n { Sij }
3 . 8l1L ((R)
bj US ij }.
lL (R) n .l)ll(S)
{ r:j n Sij }.
'R.(R)
cu
{ rij }
cu
{ fij }
4. ff<.(R
S)
{rij } { sij }
unde ri j
U Si j , I'ii n S i i ,
unde
.
{ U (rit n Stj) },
t
5. ]L ( = )
e.! -
{ ei j } ,
{adeVr,
fals,
6. Jt (l)
7. 8'1t (0)
dac i = j,
dac i 4::. j,
{ adevr } ,
{ fals } ,
unde { adevr} , { fals } , snt matricele ale. cror elemente snt toate
"adevr", respectiv toate "fals".
8.
unde
8JR
(ii )
..--.
{rii}
9. R
168
8l1L(R) ,
.
{rii} .
echivaleaz cu rij C Si j .
ade vr.
ri j
'
'j;.
n ril j C
rij
R echivaleaz cu
n 'ji
fals p entru i
* j.
rij n I'ji
fals.
Matricele cu elementele O (
fals) i 1 (
adevr),
snt un caz particular al matricelor cu elementele ntr-o
algebr boolean.
Definiiile date mai sus pentru {rij} U {Sij}, {rii } n {Sij},
=,
GRAFURI LOR
O(x1)
L:
i ,i
Aj Ei; x.
xl ( n =
1) este ele
al
171
TEORIA T I P U R I L O R
nu
U IXl
"'I E I 2
1 1'
173
Mai general
U 01." = I n .
o:nEIu+l
"'lE 0 2
U 01.1 = 01.Deci
"'lE 0 2
"'nE 0 "
OI.n = 0n
.a.m.d.
Analog, formulele (2) I (4) ar trebui s fie scrise :
n 01.1 = 1 1
E 0 2
n 01. 1 = {!) 1
se
conin ca
+-+
(ex rx)
nu are sens.
D ac ns nu acceptm teoria tipurilor, aceast defi
niie are sens. E a ns conduce la un p aradox, cci
_
(M E M) (M M),
adic propoziia M E M echivaleaz cu
M M. Acesta .
este celebrul paradox al mulimii tuturor mulimilor ce
nu se conin pe ele nsele.
Dificulti de acest tip ne arat c teoria naiv a
mulimilor trebuie depit. Acest lucru se face prin
teoria axiomatic a mulimilor, pe care ns nu o vom
studia aici.
mprirea mulimilor n tipuri corespunde unei m
priri n tipuri a predicatelor i relaiilor. Propoziiile
din c ap. 1 snt propoziii care afirm proprieti ale mul
imilor, deci ale predicatelor de o variabil.
S considerm ca proprieti urmtoarele :
- predicatul A (x) este s atisfcut de un individ, dar
numai de unul, ceea ce se scrie [ (Ex) A (x) ] & {(x)( y)( [A ( x ) &
&A ( y )] (x = y ) ) } ;
- predicatul B (x) este satisfcut de doi indivizi dife
rii, dar nu exist trei indivizi diferii care s-I satisfac,
ceea ce se scrie (Ex) (Ey) { (x =1=- y ) &B(x) &B ( y) } &
& (x)( y )(z) { [B (x) &B(y ) &B (z)] [ (x = y ) U ( y = z) U (z =
x)] }.
Astfel avem proprieti ale predicatelor A ( x ) , B (x) .
Tot astfel : reflexivitatea, simetria, antisimetria, tran
zitivitate a snt proprieti ale relaiilor binare.
Avem o alt ierarhie : ierarhia tipurilor de predicate.
Se pune intrebarea : este teoria tipurilor necesar
pentru dezvoltarea teoriei mulimilor ? Inelegerea corect
=
175
E lemen Lele
clasei
U HOlll e (A il)
E Ob
vor fi numite morfismele lui e.
y) O lege de compoziie ,, 0 " care face ca lui u E; HOUle
(A,B) , E Home (B, C) s-i corespund o Il E Home (A,C) ,
aceast lege fiind asociativ
A E Ob e
B
e
w O ( (1 o n)
( W ) ) o n
u o JA
I Z .;.... 585
177
VI I I
Aplicaiile logicii matematice
arat c :
1 . Orice obiect aparine uneia din mulimile ot , Ci.
2. Nici un obiect nu aparine i mulimii ot i muli
mn ot.
Dac considerm dou proprieti A i B, obiectele
pot fi de patru categorii :
Fie ot mulimea obiectelor care au proprietatea A ; Ci
cea a obiectelor care nu o au ; mulimea obiectelor care
au proprietatea B ; cea a celor c are nu o au ; obiectele
sint de p atru categorii (fig. 53) :
Fig . 53
178
= oc U ii
= 1.
) = ( n ) n (ot n
(ot n ot) n ( n
= ot n @
= @.
)
13)
179
Fig . 54
1 8.0
n ata n
n lXa n
(l,,_1
atn_l
at" ,
atn ,
OCI
IXI
at2
n CX2
n (,(3 n 1X4 n .
n OCa n CY.4 n
n (,(n-1 n OCn ,
n atn-l
CY.n ,
n
n
atz
n CXn_1 n atn,
n CXn-1 n rin ,
"iia n ii4 n
n CY.a n 4 n
ii2 n
at2
n (ia n
(1.4 n
iin-l n oc" ,
181'
cxI n
--,-
I
I
I
I
I------'!r---i)
I
I
I
I
ilo/
Fig. 55
-_L_
atunci e vizibil c :
dac a = 1 , b
1 , deci ab = 1 circuitul A B conduc e ;
( 1 ) dac a=O, b 1 , deci. ab = O, ci.rcuiul AB nu conduce ;
. daca a 1 , b =G, deCI ab 0, CIrcUItul AB nu conduce;
dac a -:- 0, b = O, deci ab = O, circuitul AB nu conduce j ;
=
t82
deci :
ot. dac ab = 1 , circuitul cu montaj in serIe conduce,
iar dac ab = O, circuitul nu conduce.
Dac montm cele dou contacte n p aralel, ca n fig. 57,
Fig. 5?
atunci e vizibil c :
dac a = 1 , b =1 , deci max (a,b) = 1 , circuitul AB conduce;
dac a = O, b = 1, deci max ( a,b) = 1 , circuitul A B
conduce ;
(I I) dac a = 1, b = O, deci max (a,b)
1, circuitul A B
conduce ;
dac a = O, b = O, deci max (a,b) = O, circuitul nu
conduce ;
=
d eci :
. dac max ( a,b) = 1, circuitul cu montaj n paralel
conduce ; dac max (a,b) = O, circuitul nu conduce.
S considerm circuitul din figura 58 :
A
.1
Fig.
58
T
/J
183
e vizIbil c
(III)
{ dac
a
daca a
=
=
1, circuitul AB nu conduce ;
0 , cirGuitul AB conduce.
c =
e,
pe care
c
c
=
=
c =
ab,
max (a,b),
,
F ig .
59
1.
sau
a = O
2.
sau
b = O.
1,
. valoarea logic
a propoziiei
1.
adevr,
O. . . . . . .
fals,
conjuncie "I' U ,
conj uncie "sau
mcar " ,
negaie.
'1
LI
0,7
0,6
--
--
--
--
0,7
0,4
La
--
1
--
La
0,3
--
--
L4
0,4
-- --
0,9
0,5
--
0,6
-- --
0,8
0,9
--
0,8
0,3
--
0,4
186
alctuit de
p,
L. Ivnf'scu
S.
Pentru rezolvarea acestei probleme, vom introduce variabilele Yi, Y2, Ya, Y4, Xll , X12' X13' x14, X21'
, X44, defi nite dup cum urmeaz :
1 , dac n localitatea Li se
(1)
construiete o fabric ;
Yi
0, n caz contrar
=
(2)
x ii
Xll
XI2
X13
X14
+ X21
+ X22
+ X23
+ X24
+ X31 + X41
+ X32 + X42
+ X33 + X43
+ X34 + X44
=
=
1 0,
12,
8,
1 0,
Ci
,,/",
187
In acest scop vom folosi urmtoarele observaii, evidente din punct de vedere economic, i uor demonstra
bile matematic :
a. ) Se transport marf de la L i la Ci ( X ii > O)
dac
,i numai dac urmtoarele condiii snt ndeplinite :
a.1) n Li exist o fabric ( Y i = 1 ) ;
1( 2) oricare ar fi localitatea L I! (h =1= i) n care exist
o fabric, costul transportului de la LI! l a Cj este mai
mare dect costul transportului de la L i la Ci ;
) dac se transport marf de l a Li la Ci , atunci se
transport ntreaga cantitate necesar centrului Ci'
In tabelul de mai jos se indic, pentru fiecare centru
Ci ' localitile Li n ordinea cresctoare a costurilor trans
porturilor de la Li la Ci :
CI Ls , L4' LI '
C2 : LI ' L2 ' L4'
Ca : L z, Ls, L4'
C4 : L3' L4' L2'
L2 '
Ls ,
LI ,
LI '
1, liLullCi x21
1 0, iar dac Y2YsV4Yl
O ; aceste dou condiii snt echiva
lente tocmai cu egalitatea X21
1 0 Y217sY4Yl . n mod
analog se demonstreaz i celelalte relat.ii (8) .
innd seama de ( 8), f u nc. i a (3 ) devine
c dac Y ZYSY411
=
0 , atunci X21
=,
YIY2Ya 'i 4 = O .
189,
1 90
"
--->-
LI
1 91
'1 9 2
193
prin definiie,
<
o
V, L, 63 > ; p
nime.
Addenda
'
1 . Produsul relaiilor nu este comuLativ.
2. Termenii "relaie de indentitate" i "relaie de ega,
litate " snt ntrebuin.ai cu acelai neles.
3. D ac
gof = koh
spunem c diagrama
x
-----
----- -+ y
h
Z+
e
comutatiCJ.
g
--
--
+
-+ Jtl'
6.4.
6.5.
6.6.
6.7.
6.8.
P -+ P
(p & q) ...... P
( p & q) -+ q
P -> ( p V q)
q -+ ( p V a)
6 . 9 . [ p & (q V r )] -+ [ (p & q ) V ( p & 1')]
6 . 1 0 . [(p V q) & (p V 1')] -+ [p V (q & 1")]
6 . 1 1 . (p q) -> [ (1' & p) (1" & q) ]
6 . 1 2 . (p q) ...... r (p & 8 ) (q & 8) ]
6 . 1 3 . (p q) ...... [ (1' V p) (1' V q) }
6 . 1 4 . (p q) -> [ (p V 8) -+ (q V s) ]
6 . 1 5. [(p & (1 p ) ) V q ] -> q
6 . 1 6 . P ...... [p & (q V 1 q)]
6.29. [ (p -> q) & (q -+ I')J -+ (p -+ 1')
6.35. [ (p q ) & (8 t) , (p & 8) (q & 1)]
6.36. [ (p q) & (8 t) -> [ (p V 8) (q V t) ]
6. 37. [(p q) & (8 t)] -> [ (p ...... 8) (q -+ t) ]
6.38. (p q) ...... [ (q -+ 1') (p -+ 1') ]
6 . 3 9 . (p q)
[ (8 -+ q) (8 -7- p)]
6.4.0. [ (p -> q) & (q -+ p)] ...... (p q)
6 . 4 1 . (p q) ...... [ (p -+ q) & (q ->- p)J
6.42. (p q) H [ (p -+ q) & ( q ...... p )]
6.43. [ (p -+ q) & (p -+ r) J -,.. [ (p -.,. (q & r)]
6.4.4.. [(p -+ 1' ) & (q -> 1')] -+ r (p V q) -+ 1')]
6.45. (p -+ q) ...... (1 q ->- '1 p)
6.4.6 . P 1 1 P
6 .4. 7 . P V l p
'>
6.4.8. 1 (p & 1 p)
129
129
'1 29
129
129
131
131
132
132
132
132
133
133
137
HO
'14.0
140
141
'14 1
141
141
141
'143
14.3
144.
1 4 4.
14.5
'145
199
P a g.
145
145
7.4.
7.5.
7.6.
7.7.
7.8.
P --> - (q -+ p )
(p -+ (q -> r ) ) ((p
( p q) -+ (p -+ q)
7.13.
7.14.
7.15.
7.-1 6 .
q)
-+
(p
-+
r))
> p)
q ) -+ ( q
-+ q) - :>- ( (q > p ) -+ ( p q ))
& q) - -->- p ( identic cu 6.5. )
& q) -+ q (identic cu 6 . 8 . )
-+ q ) -+ ( (p -+ 1") -->- (p -)- (q & r ) ) )
P -+ (p V q) ( identic c u 6 . 7 . )
q -+ (p V q) (identic cu 6 . 8 . )
(p -+ r ) ( (q - r) -> ( (p V q ) -+ ,.))
( p -->- q) -+ (1 q -+ 1 p) (identic cu 6.45)
p 1 1 P (identic cu 6.4.6 )
(p
(p
7 . 9 . (p
7. 10 . (p
7 . 1 1 . (p
7.12.
-+
157
157
157
15/
157
157
157
1 57
157
157
158
158
158
a) Definiii
6.1 * [ x E (cx n (3 ) ] [ (x E cx ) & (x E (3 )]
6.2.* [ x E (cx U (3)] [(x E cx) V (x E (3)
6 . 3 . * ( x E a ) H 1 ( x E cx)
6 :1 7 (cx C (3) H (x) [ (x E cx) -o- (x E r)]
6 . 1 8 (cx = (3) H (x) [(x E cx ) (x E (3)]
6 . 1 9 ( x) ( x E 1)
6.51 l (Ex) (x E e )
125
125
1 25
135
135
136
147
6.30.
6.31.
6.32.
6.52.
6.53.
6.54.
6.55.
6.56.
6.57.
6.60.
6.61.
13S
13&
139
H7
booleene
113
g) A x iomele
algebl'elor
I. 1 . O( C O(
1.2. dac O( C (3 i (3 C y atunci O( C y
1 . 3 . dac O( C (3 i (3 C CI. atunci CI. = (3
I L L O( n (3 C CI.
II. 2 . O( n (3 C (3
1 1 .3. dac y C CI. i y C (3 atunci y C CI. n (3
1 1 . 4 . O( C CY. U (3
11.5. (3 C CI. U [3
1 1 . 6. dac O( C y i (3 C y atunci O( U (3 C Y
II U . O( n ((3 U y ) C (O( n (3 ) U ( O( n y)
JIU . O( U ((3 n y ) :::J (O( U (3) n ( O( U y)
IV.1 (O( n cx:) U (3 C (3
IY.2. (O( U Ci ) n (3 :::J (3
147
147
H7
147
147
1 !>7
'14 7
129-
HO'
H1
129-1 30'
1 2 9-13()
H2
12 9-1 3(}
12 9-1 3 (1
143
1 3 '1
133
133:
1 3/,
Alte teze
dac O( C (3 atunci C li
O( U Ci = I
O( n iY. = 0
143
145
14&
;101
dac
dac
ex
ex
C i ex C - atu nci G( = 0
1
C i ii C atunci
=
Teze a l e I g i cl i r e l a I I l or b i n a r e
a ) Definiii
1 26
1 2 7.
127
'>
(y) [( x R y)
-+
(xRy)]
(x) (y) [ (x R y)
-+
(xRy)]
Teze a l e l o g i c i i pred i ca te l o r cu i d en t i t a te
7.25.
7.26.
7.27.
7.28.
7.29.
7 . 30.
202
a =a
(a = b ) -+ [P(a) -+ P(b)]
a)
(a = b) -.... (b
e) '> (a = e)]
(a = b) -+ [ ( b
(oc) [(x E x) -;. (y E- ex)] -+ (x = .II )
.li)
(p) [ Pix) -.,. P(yll -)- (x
=
1 64
164
165
165
166
166
Indice de
E: 9 ,
semne
1 ', 9
(=) 38, H9
& 37, 1 23, 148, 152
V 40, 1 2 4 , 1-(.8, 1.52
1 ! H , l!t8, 152
g: 9 , J J 9
C 1 0 , 1 1 :\ , 14 9
U 1 1 , 1 l:3 , H . 9
n J.'i, H 3 , 1 '. 'J
n, n ,
U, U,
CX E0 aEI u E 0
O 1 8 , 1 ', ')
aE[
lOt" 101
1 , l'r9
{a} 19
:2 ':; :
27
-1 -
T
.1.
=.>
......
1 18
!.i t;
Jf :1 9
' 1 2 , 1 '. 9
f (II
,
l'
1'*
1 :2 1 ,
:, 7 , 1 \ 9
')
1 ')
1 ', 8 ,
--,
1 f, 8 ,
I ,, :l
;) G
fM liO
:1 t
:2 7 ,
57
N'-I'---+
:29
:;0
=-o
X 51
- 23,
4 -'< , 197
L:' 3
f*
:i t]
Ii I
r, l
li:)
i / ) 'j )
i/ .11 f i ;,
; (.Il : J'(Y))
lG?
20]
I n d i ce de c u vi nte
A , ju deci arislotelice n A 34
(A), axioma (A) ( legea de ab
sorbie) 1 1 4 , 1 1 5
absorbie, legile d e a pen iru
multimi 2 3
- legile d e a pentru relaii 40
- axioma ( A ) 1 1 4 , !li5
abstracie, definiie prin a 47
adevr, valoarea logic a 1 5 1 ,
1 52
adjunciei, regula a 1 2 6
afirmative, judeci particulare
a (n I)
36
- - universale a (n A) 34
algebre booleene 1 'J 2
- - axiomele a. b. 1 1 3
- - multimile
formeaz o a'b
'
113
- - relatiile
a.
formeaz
b 11?
orice a . b
- e o latice 1 1 5
antisime tl'ic, relatie Il 9
- relatie strict Il 49
- inchlziunea multimilor e a 1 0
- implicaia relaiilor e a 3 8
apartenen, relaie de Il 9
aristotelic, forma a a judecilor 34, 3 6
asociativitatea
- conjuncia relaiilor e a 39
- disj uncia relaiilor e Il 40
- intersecia infini t a multimilor
e a 93
,
mulimilor e Il 1 6
- produsul cartesian e Il 7 9
- produsul relaiilor e a 42
204
107
84
205
trecerea de la echivalen
la implicaie i de la impli
caie la echivalen 1 2 7
n logica }Jropoziiilor 1 22
relatiilor 38
- reflexivitatea e ( 38
- simetria e 1 " 38
38
- transitivitale e .
clase de e 46
relatii de e 46
- - e generate de o funcie 73
- silogism ipo tetic cu e 127
echivalena ntre definitia sin
tactic i definiia semantic
n logica prop oziiilor 1 60
egalitatea, relaia de e (de
identitaLe ) 4 4 , 197
- - e ntre multimi 9 , 44
- - - - - reflexivitate V,
- - - - - simetrie 44
- - - - - - transitivitat.e !,.4
- - e
n Lre functii 58
reflexi- - - vitatea
simetria
transitivitate
excluderea tertiu lui (vezi prin
cipiul e t)'
existenial, cuauLorul e H6, 1 4 9
exponenial, legea e pentru
produsul cartesian 81
expresie n logica predicatel or
'
161
- iden tic 59
- - e o bijecie
- - - - injecie 65
- - - surjecie 62
- majoritar 32
- n multimea c t 84
- de mai' multe variabile 81
- lui Peirce 31
- lui Sheffer 30
selectiv 99
- codomeniul unei f 56
- domeniul unei 1 56
- egalitatea a dou funcii 58
- extensiunea unei f 59
- extinderea unei f de element
la o f de multime
61
- identi tatea a dou f 58
- restrictia unei f 59
- supra punerea a dou f 66
- - leg'ea de asociativitate a
ei 67
- valoarea unei f 56
funcional, relaie 7 7
136
graf 1 69
- conex 1 7 1
- tare conex 1 7 1
grupul ciclurilor 1 7 0
- - frontier 1 7 0
- cociclurilor 1 7 1
cofrontier 1 7 1
d e coomologie 1 7 1
lanturilor 1 7 0
omologie 1 7' 1
Horn 1 7 6
judeci aristotelice n 1 36
dempotena eonjunciei relatiilor 39
- disjunciei relaiilor 40
- intersectiei multimilor 1 6
- reuniunii mulimilor 1 4
identic, funcia i 5 9
iden tita te, iden L i laIc f u n e Liilor 58
- relaia de identitate (de egalitat e) , l,. 4 . 1 64, 197
- - - compatibilitatea 4/.
reflexivi tatea
44,
1 65
ind iscernabilitatea 1 6 6 ,
- logica p redica t el o r i a iden
titii 1 6 4
imp licaia prop oziiilor 1 2 2
- - trecerea de la im plicaie
la echivalen i de la echi
valen la imp licaie 1 2 7
- relatiilor 3 7
- - reflexivitatea 37
- - lransitivitatea 3/
inciden, matrice de i 1 '/ 0
independen var iabilA i 5 6
indexat, mulime i 7 7
inclilziunea multimilor 1 0
- an tisime tria io
- reflexivitatea 1 0
- transitivitatea 10
- ca injecie canonic 65 .
indivizi, relaii ntre indivizi
i mulimi , 1 4 9
infinil, in tersecie i 9 1
- produs cartesian i 96
- reuniune i 8 7
injecie 6 4
- incluziunea ca inj ecie 65
ipotetic, silogismul i 1 2 7 , 1 5 5
ipoteze, demons traie din i 1 5 9
lan, 1 7 0
latice 1 1 4
legi d e compo ziie '1 1 2
- - ntre mulimi
- - - d ,ferenta 25
- - - - - d i ffr enta
s i rn , tric (suma) 2 9
- - - - - echivalenta
'
(su ma dual) 29
.- - - - - in tersecia
.
15
- - - - - "nici" , funcia Il 31
- - - - - Peirc.(> functia lui p 31
- - - - - euniunea 1 1
- - - - - reziduatia 27
- - - - - suma (diferenta
.
simetr'ic) 2 9
- - -- - suma dual
(echivalena) 29
- - - - - SheIfer, f u n c ia lui s 30
legi cre compo z i t ie) in tre prepo ziii (vezi propoziii)
leg'i de compoziie n tre relaii
- - -' - - conjuncia 37
- - - - - - disjuncia 40
- - - - - produsul 41
proprietile legilor de c.om
p oziie
- - - -- asodat.ivi tat(>a
(vezi a)
- - - - comu tativi late
(vezi
e)
- - - -- idempotene ( vezi i)
p rop rieti le perechilor de legi
de compoziiI"
- - - - - absorbia
2 3 , 40,
114,
l. p . i
1 64
115
'
p, i
- - - - teze n l. p. i 1 6 4
logica predica telor cu variabile
libere 1 50
logica propoziiilor
- - axiomele 1 , P 1 57
- - demonstraia n l. p 1 5 8
- - demonstraia din ipoteze
n I. p , 1 5 9
- - expresii n 1.11 . 1 5 1
- - scheme valabile, definiia
semantic 1 5 6
201
- - teze, d e f i niia
154
[ 60
seman t i c
ec
mulimi 9, 1f, 9
- multime alomiC' :20
- ct . 47
- de m u l imi 8 5
- cu nn singur (, le m e n !'
- indexat
77
J9
- t o tal 21
-- tipuri de mulimi ( vezi ti p uri)
subm ultimile u nei multimi
formeazii o D Igeb rii boo
lean ! J :1
Ob 1 7 6
O , judeci aristo telice n O 36
ordine, relaia de ordine partial 49
- relatia de ordine parial
strict 50
partiii 96
particulare judeci I' afirmative
(n 1) 3 6
- judeci p negative (n O ) 3 6
Peirce , funcia lui p 3 1
208
predica t e ,
l ogi ca
predicateloJ'
- - - cu variabile libcl'e
(vezi log'iea predicatelor cu
variabile libere)
preordine, rela ia de preordine !I 5
45
45
1 45
- dilemei I 2 B
-- club Ipi negaii 2 4 , 144
- exrlllelerii tertiului 2!" llo 5
- generalizrii '! 3 6
--- silogismului ipo tetic 1 27
produs car t esi a n (vezi carte sian)
produs cartesian infini t (\"ezi
ca r t es i a n)
produs de relaj.ii (vezi le gi de
compoziie ntre relaii)
propoziii, co nju nc ie 1 2 3
--- disj uncio 1 2 4
- ech ivalent 1 2 2
- impl i caie 1 2- 1
- logica propoziiilor (vezi logica propoziiilor)
- negaie 1 2 !,
- valoarea log'ic a unei prop oziii 1 52
- de. teoria multimilor 1 3 6
- - d e teoria reiaiilor binare
'136
- - de teoria multimilor si
.
relatiilor binare 1 3 6'
- pl'opoziional, variabil ])1'0po ziional 1li8
prop rieti ale legilor de compo
ziie ntre mulimi (vezi legi
de compoziie ntre mulimi)
ale legilor de comp oziie ntre
relaii (vezi legi de compo
ziie ntre relaii)
ale mu l i milor 166
- ale relaiilor
- an tisimetria 49
compatibilitatea 44,
55
ireflexivitatea 49
- - - de a fi relatie funcional 7 7
1 4 -585
cuaternare 54
n-are, 54
reflexive 1 0, 3 7 , 3 8 , 44, 45,
strict antisimetrice 49
simetrice 1 0 , 38, 44, 46
ternare 54
transitive 10, 37, 38, 44,
45, 46, 49
restricia unei funcii 59
resturi 48, 120
reuniunea multimilor 1 1
- - asociativi't atea 1 2
- - comutativitatea 1 1
- - idempotena 1 4
reuniunea infinit 8 7
- - asociativitatea 8 8
reziduaia 2 7
2(19
- - - cu identitate, defi
niia sintactic" 1 6 !l
transpuea unei relaii !l3
- proprietile transpo zitiei !l3
tram;itivitatea echiva len tei re'
Ia iilor 3 8
- ident iti i 44, 1 6 5
- implicaiei relaiilor 3 7
- inclm;iunii mulimilor 1 0
reIa tiilor d e echivalent 46
de preordine !l5 '
- de ordine !l9
-
universale, judeci
34
- - u
afirmative
negative 3!l
valoarea funciei 56
logic 1 5 2
variabila dependent 5 6
- independent 56
-
99
Tabla d e materii
l'refa
1. Algebra m u limi l o r
Incluziunea
Reuniunea
10
11
Infersectla
15
17
Mulimi disjuncte
Mulimea vid i mulimile cu u n element
Mulimea total
17
leg i l e
de
18
21
22
Legile de distributivitate
Legile de absorbie
22
23
23
Exercit i i
25
Diferena
Reziduaia
Suma (diferena simetric)
Suma dual sau echivalena
Funcia lui Sheffer
Funcia "nici"
Funcia majoritar
Disjuncia condiionat
25
27
'19
9
32
33
33
O
1
I I . Algebra relal i l o r
37
R e l a f i i b i nare
37
Implicaia relaiilor
Conjuncia relaiilor
37
37
11
Echivalena relaiilor
Negaia unei relaii
Disjuncia relaiilor
Produsul relaiilor
Transpusa unei relaii
38
39
40
41
43
44
45
46
Clase de echivalen
46
Relafli de ordine
Produs cartez I an
Rel ati i n - are
!l9
51
54
III. FuncII
56
56
R e l afii d e preordine
59
Restricia i extensiunea unei funcii
60
Funcia caracteristic a unei mulimi
Extinderea unei funcii l a o funcie d e submulimile domeniului 61
Surj ectli
62
Funcia pseudoinvers
62
I n j ecfil
64
65
B l j ecfii
65
Suprapunerea a do u funct i i
66
70
73
7 !l
74
75
iruri
76
Mulimi indexate
77
Relati i functionale
Produsul cartezi an a l mai mult or m u l ti m I
77
78
81
212
' I V. Mu l t i mi d e mu l t i m i
Reuniune infinit,
I ntersectle I n fi nit
Partltil
Produs cartezian Infinit
82
84
85
87
91
96
96
99
100
103
Proprletti a l e endomo r li s m e l or
10ii
Observaii
1 06
Teorema l u i Banach
107
112
119
V. Ai gebre booleene
A l gebra boolean .\} Z
Cuantorul existential
121
121
126
129
13ii
H6
H8
A l fabetul uti l i z a t
Teoria tipur i l o r
H8
1 51
157
161
16ii
167
167
169
1'7 2
178
178
182
186
189
213
Adden da
i97
199
re latIIlor bi na r e
i dentitata
200
202
202
203
20