قضیه های متمم گیری
قضیه ۴ : قانون دمورگان: اگر A و B دو مجموعه دلخواه باشند:
الف:=
ب:=
برهان : الف: x تعریف متمم
تعریف اجتماع
~
~
قانون دمورگان ترکیب ها
تعریف متمم
تعریف اشتراک
قضیه ۵ : اگر U مجموعه جهانی و A و B زیر مجموعه هایی از آن باشند، آنگاه :
۱ . تهی عنصر خنثی در عمل اجتماع است:
۲ . مجموعه ی جهانی عضو خنثی در عمل اشتراک است :
۳ . A=
۴ .
۵ .
۶ . =
و U=
۷ .
برهان : ۱. تعریف اجتماع
c تعریف تهی
قضیه۷ فصل ۱
۲ . x تعریف اشتراک
t تعریف مجموعه مرجع
قضیه۷ فصل ۱
۵ . تعریف اشتراک
تعریف متمم
تعریف -
۷ .
تعریف زیر مجموعه
قانون عکس نقیض
تعریف متمم
تعریف زیر مجموعه