Дискретная математика. Кулабухов С.Ю. - 10 стр.

UptoLike

ВУЗ: 

ИСОиП ДГТУ | Шахты

Составители: 

Рубрика: 

gLAWA wWEDENIE W TEORI@ MNOVESTW
     I.




  1.6. oPERACII NAD MNOVESTWAMI.
oPREDELENIE 1. pUSTX A B C NEKOTORYE MNOVESTWA PRI^EM A  C pRI POMO]I HA
                             ,   ,   |                             ,       .             -
RAKTERISTI^ESKOGO SWOJSTWA OPREDELIM E]E ^ETYRE MNOVESTWA:
                                A \ B = fx j x 2 A I x 2 B g
                                A B = fx j x 2 A ILI x 2 B g
                                A n B = fx j x 2 A I x 2= B g
                                AC = C n A:
   mOVNO SKAZATX, ^TO OPREDELENIE \TIH ^ETYREH MNOVESTW OPREDELQET W DEJSTWITELXNOSTI OPE-
RACII NAD MNOVESTWAMI A, B, C, KOTORYE MY OBOZNA^ILI SIMWOLAMI \, , n, . oPERACII \TI
NAZYWA@TSQ SOOTWETSTWENNO PERESE^ENIE, OB_EDINENIE, RAZNOSTX (WY^ITANIE) I DOPOLNENIE.
   s CELX@ NAGLQDNOSTI PRINQTO INOGDA IZOBRAVATX MNOVESTWA ^ASTQMI PLOSKOSTI. pOLXZUQSX
\TIM, PROILL@STRIRUEM WWEDENNYE WYE OPERACII (RIS. 1).
              A\B                                     AnB



      A                                  A
                        B                                      B




           A B
                                         '   C
                                                      AC
                                                                       $
                                         &                             %
     A
                                                           A
                        B



                        rIS. 1: oPERACII NAD MNOVESTWAMI \, , n I .

  1.7. sWOJSTWA OPERACIJ NAD MNOVESTWAMI.
tEOREMA 1. pUSTX A B C PROIZWOLXNYE PODMNOVESTWA NEKOTOROGO FIKSIROWANNOGO MNO
                    ,    ,       |                                                       -
VESTWA U , KOTOROE NAZOWEM UNIWERSALXNYM.
   sPRAWEDLIWY SLEDU@]IE SOOTNOENIQ:
  1. zAKON DWOJNOGO DOPOLNENIQ:

     A = A:
  2. iDEMPOTENTNOSTX OPERACIJ \ I    :

     A \ A = A
     A A = A:

                                                 10

Страницы