- (a4)
|
A(BC)(AB}(AC)
A(BC)(AB}(AC)
|
(ligji distributiv)
|
- (a5)
|
A(BC)(AB}(AC),
A(BC)(AB}(AC),
|
(ligji distributiv)
|
- P ë r k u f i z i m i 2.2.3. - Diferenca e bashkësive A, B quhet bashkësia e elementeue të bashkësisë A që nuk janë në bashkësinë B (fig. 1.4.), pra :
A\B {xxAXB}.
- Simboli \ (lexo: diferenca ose pa) është shenja e veprimit në fjalë.
- P.sh.: \, \, \, {1,3,5,7}\{2,3,4,5}{ 1, 7}.
- Në bazë të përkufizimit 2.2.3 del se A\A dhe A\A, për çdo bashkësi A.
|
|
Fig. 1.4.
|
Fig. 1.5
|
- Kur B
 C, atëherë A\B quhet komplement i bashkësisë B ndaj bashkësisë A dhe shënohet CAB ose B' (fig. 1.5.).
- P.sh.: \{xxx<0}.
- Relacioni (A')'A shpreh ligjin e involucionit.
- S h e m b u l l i 11. - Të vërtetohen relacionet:
(AB)'A'B' dhe (AB)'A'B'
- që paragesin ligjet e De Morganit.
- V ë r t e t i m : Të vërtetojmë relacionin e parë. Vërtetimi bëhet sipas skemës:
- (1) vërtetohet se (AB)'
 A'B' ;
- (2) vërtetohet se A'B'(AB)' ; dhe
- (3) nxirret konkludirni se (AB)'A'B'.
- (1) vërtetimi i inkluzionit (AB)'A'B'.
|
.PNG)
