Documente Academic
Documente Profesional
Documente Cultură
Fig.1.1. B A
1
Proprietile relaiei de incluziune:
- Reflexivitatea X X
- Tranzitivitatea X Y i Y Z implic X Z
- Antisimetria X Y i Y X implic X Z
Reuniunea A B {x x A x B}
Intersecia A B {x x A x B}
Complementarea C ( A) A {x x A}
Mulimi disjuncte A B
Diferena a dou mulimi A B {x x A x B}
Dac notm cu I muimea universal, atunci A I A
X ( x) , ( X )
Dac A ( X ) A ( X )
Dac A, B ( X ) A B ( X ) , A B ( X )
2
1.4. Latice i algebre Boole
n n
3
ntr-adevr, A B x A, x B . S considetm yB , atunci y A, deci
B A.
Fig. 1.2. A B A B
Fig.1.3. A (B C)
4
Fig. 1..4. A (B C)
Se poate demonstra c ( A B ) C A ( B C ) .
Demonstraie.
1) Artm c ( A B) C A ( B C ) . Fie x ( A B ) C . Atunci
x A , x B , x C x B C . Ca urmare,
x A, x B C x A (B C) .
2) Artm c A ( B C ) ( A B ) C . Fie x A ( B C ) , rezult c
x A x B x C , adic x ( A B ) C .
Diferena simetric
Fig. 1.5. AB ( A B ) ( B A)
Funcia lui Sheffer se definete ca operaia nici...nici, x nu aparine nici lui A nici lui
B, se noteaz cu . Acest lucru nseamn: A B A B . Iat cteva proprieti.
A B A B
A A A
5
( A B) ( A B) A B
( A A) ( B B) A B
A I A I A
A AI.
Fig.1.6. A B A B