DOKAZIVANJE SKUPOVNIH JEDNAKOSTI

Pisali ste nam da profesori u I godini trae dokazivanje skupovnih jednakosti pomou tablica sa i .
U ovom fajlu emo pokuati da objasnimo postupak .
Najpre da se podsetimo skupovnih operacija.
UNIJA

A B = {x x A x B}
Tablica sa i bi za uniju izgledala:
A

A B

Najlake je da zapamtimo : Ako ide pa , onda je , a za sve ostale situacije piemo .

PRESEK

A B = {x x A x B}

Tablica sa i bi za presek izgledala:

A

A B

Pamtimo: Ako ide pa , piemo , a za sve ostale situacije piemo .

RAZLIKA

A \ B = {x x A x B}

Tablica sa i bi za razliku izgledala:

A

A\B

Pamtimo: Ako ide pa , piemo , a za sve ostale situacije piemo .

Evo nekoliko primera.....

www.matematiranje.in.rs
2

Primer 1.
Dokazati skupovnu jednakost ( A B) C = ( A C ) ( B C ) .
Reenje:
U fajlu O skupovima smo objasnili kako se skupovna jednakost dokazuje korienjem definicija i svodjenjem
na tautologiju.
Dokaimo je sada preko tablica sa i .
Najpre pravimo tablicu, slino kao kod tautologije:
Leva strana (L)
A

A B

( A B) C

Desna strana(D)
AC

B C

( A C)

L=D

(B C)

Kao kod dokazivanja tautologije popunjavamo prvu vrstu, i piemo:

Ispod skupa A prvo 4 , pa 4 .
Ispod skupa B neizmenino 2 , pa 2 .
Ispod skupa C neizmenino 1 , pa 1 .
Dalje nam treba A B , a rekosmo da zapamtimo: Ako ide pa , onda je , a za sve ostale piemo .
A

A B

( A B) C

AC

B C

( A C)

L=D

(B C)

Dalje popunjavamo ( A B) C koje smo obeleili sa L (leva strana jednakosti).

Za presek nam treba : Ako ide pa , piemo , a za sve ostale situacije piemo .
A

A B

( A B) C

AC

B C

( A C)

L=D

(B C)

Zavrili smo levu stranu jednakosti, sad radimo desnu, popunjavamo najpre A C , pa B C koristei da :
Ako ide pa , piemo , a za sve ostale situacije piemo .

A B

( A B) C

AC

B C

( A C)

L=D

(B C)

Ostala nam je cela leva strana, gledamo kolone A C i B C a radimo uniju:

Ako ide pa , onda je , a za sve ostale piemo .
www.matematiranje.in.rs

L
A

A B

( A B) C

AC

B C

( A C)

L=D

(B C)

Konano, uporedjujemo da li je leva strana jednaka desnoj, ako jeste piemo T a ako nije .

A B

( A B) C

AC

B C

( A C)

L=D

(B C)

T
T
T
T
T
T
T
T

Ovim bi dokaz bio zavren!

Primer 2.

Dokazati skupovnu jednakost ( A \ B) C = ( A C ) \ ( B C )

Reenje:

Crtamo tablicu i popunjavamo prvu vrstu:

Leva strana (L )
A

A\ B

( A \ B) C

Desna strana(D)
AC

B C

( A C)

L=D

(B C)

Popunjavamo kolonu A \ B .
Da se podsetimo: Ako ide pa , piemo , a za sve ostale situacije piemo .
A

A\ B

( A \ B) C

AC

B C

( A C)

L=D

(B C)

Sad gledamo kolonu A \ B i C a operacija je . Ako ide pa , piemo , a za sve ostale situacije
piemo .
A

A\ B

( A \ B) C

AC

B C

( A C)

L=D

(B C)

Dalje gledamo kolonu A C i B C .

Ako ide pa , piemo , a za sve ostale situacije piemo .
A

A\ B

( A \ B) C

AC

B C

( A C)

L=D

(B C)

Zavravamo desnu stranu , radei razliku prethodna dva , naravno po pravilu:

Ako ide pa , piemo , a za sve ostale situacije piemo .
A

A\ B

( A \ B) C

AC

B C

( A C)
(B C)

L=D

I jo da potvrdimo da je leva strana jednaka sa desnom, proverimo i :

A

A\ B

( A \ B) C

AC

B C

( A C)

L=D

Dokazali smo skupovnu jednakost!

(B C)

T
T
T
T
T
T
T
T
7