За секој закон од математичката логика кореспондира по еден закон од теоријата на множества. Во продолжение ќе бидат дадени основните утврдени закони за множества:
Комутативни закон:
- за унијата А∪В=В∪А
- за пресекот А∩В=В∩А
- за унијата А∪(В∪С)=(А∪В)∪С
- за пресекот А∩(В∩С)=(А∩В)∩С
Дистрибутивни закони:
- за унијата А∩(В∪С)=(А∩В)∪(А∩С)
- за пресекот А∪(В∩С)=(А∪В)∩(А∪С)
Закони за идентитет
Закони на Де Морган:
- за унијата А∪∅=∅∪А=А
- за пресекот А∩U=U∩А=А
- за унијата А∪Аc=U
- за пресекот А∩Аc=∅
Закони за идемпотентност
- за унијата А∪А=А
- за пресекот А∩А=А
Закони за абсорпција:
- А∪(А∩В)=А
- А∩(А∪В)=А
- (А∪В)c=Аc∩Bc
- (А∩В)c=Аc∪Bc
No comments:
Post a Comment