- (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 {x x A X B}.
- 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)
