جبر بولی مجموعه ها – به زبان ساده
نظریه مجموعهها ارتباط نزدیکی با منطق دارد. اشتراک و اجتماع مجموعهها را میتوان با عملگرهای مبتنی بر «و» منطقی و «یا»ی منطقی بیان کرد. در این آموزش، با ارتباط مجموعهها و منطق و جبر بولی مجموعه ها آشنا میشویم.
جبر بولی در منطق و مجموعه ها
نمادگذاری استفاده از گزارهها را برای مشخص کردن مجموعهها امکانپذیر میکند. اگر یک مجموعه باشد، آنگاه یک گزاره را تعریف میکند که برای هر شیء صحیح است اگر و تنها اگر عضوی از مجموعه باشد. بنابراین، نباید تعجب کرد که بسیاری از قواعد و قوانین منطق مشابههایی در نظریه مجموعهها داشته باشند. این همان چیزی است که در جبر بولی مجموعهها وجود دارد.
برای مثال، از قبل میدانیم که و عملهایی جابهجاییپذیر هستند. این واقعیت را میتوان با استفاده از قوانین منطق تأیید کرد. مجموعههای و را در نظر بگیرید. بر اساس تعریف برابری مجموعهها، میتوانیم نشان دهیم که با توجه به رابطه برقرار است. از طرفی، برای هر داریم:
جابهجاییپذیری به همان ترتیب از تعریف پیروی میکند که از تعریف و استدلال مشابهی را برای شرکتپذیری اجتماع و اشتراک میتوان بیان کرد.
قوانین توزیعپذیری در منطق گزارهای دو قانون مشابه را در نظریه مجموعهها نتیجه میدهند. فرض کنید ، و سه مجموعه باشند. آنگاه، داریم:
و
این قواعد را قوانین توزیعپذیری نظریه مجموعهها مینامند. برای تأیید اولی، برای هر میتوان نوشت:
قانون دوم نیز دقیقاً مشابه قانون اول بیان میشود.
با اینکه مشابه و مشابه است، هنوز نمیدانیم چه عملگری در نظریه مجموعهها مشابه عملگر نقیض منطقی، یعنی است. برای مجموعه ، عبارت را به عنوان مجموعهای که شامل هر چیزی جز آنچه متعلق به است، تعریف میکنیم.
مجموعه جهانی
متأسفانه قواعد نظریه مجموعهها به ما امکان نمیدهد که چنین مجموعهای را تعریف کنیم. نماد را میتوان تنها در حالتی مورد استفاده قرار داد که حوزه گفتمان یک مجموعه باشد. بنابراین، باید یک مجموعه زیربنایی وجود داشته باشد که عناصر موجود در آن، در باشند/نباشند، یعنی مجموعه زیربنایی که یک زیرمجموعه از آن باشد. میتوانیم با محدود کردن بحث به زیرمجموعههای برخی مجموعههای ثابت، این مسئله را حل کنیم. این مجموعه به عنوان «مجموعه جهانی» (Universal Set) شناخته میشود.
توجه کنید که مجموعه جهانی تنها برای مباحث مشخصی جهانی است. در واقع، این مجموعه به اندازه کافی بزرگ است که تمام مجموعههای مورد بحث به عنوان زیرمجموعه آن باشند. با در نظر گرفتن مجموعه جهانی و هر زیرمجموعه از ، میتوانیم مجموعه را تعریف کنیم.
مکمل مجموعه
فرض کنید مجموعه جهانی و یک زیرمجموعه از آن باشد. مکمل در را به صورت تعریف میکنیم.
معمولاً، مکمل در را برای سادگی همان مکمل مینامیم، اما باید به یاد داشته باشیم که هر جا از واژه مکمل استفاده شده، مجموعه جهانی را نیز در پس خود دارد و با توجه به آن به دست آمده است.
با توجه به عملیات مکمل روی مجموعهها، میتوانیم قواعد مشابه منطقی را نیز بیابیم. برای مثال، میدانیم برای هر گزاره برقرار است. برای هر زیرمجموعه از ، داریم:
تساوی آخر به این دلیل است که گزاره برای هر غلط است. به طور مشابه، میتوانیم نشان دهیم که و ( مکمل مکمل است).
قوانین دمورگان و جبر بولی مجموعهها
مهمترین قوانین برای کار با عناصر مجوعهها، قوانین دمورگان هستند. این قوانین، که مستقیماً از قوانین دمورگان در منطق به دست میآیند، برای هر زیرمجموعه و از مجموعه جهانی تساویهای زیر را بیان میکنند:
و
قوانین جبر بولی مجموعهها
جدول زیر، برخی قوانین جبر بولی را برای مجموعههای ، و نشان میدهد. برای قوانینی که شامل عملگر مکمل است، فرض شده که مجموعهها زیرمجموعه مجموعه جهانی هستند. در بیشتر موارد، این قوانین مستقیماً با منطق گزارهای مطابقت دارند.
قوانین مکمل دوگانه | |
سایر قوانین | |
قوانین خودتوانی | |
قوانین جابهجایی پذیری | |
قوانین شرکتپذیری | |
قوانین توزیعی | |
قوانین دمورگان |
برای مثال، میتوانیم یکی از قوانین دمورگان را با محاسبات زیر تأیید کنیم:
یک اثبات استقرایی ساده را میتوان برای تأیید نسخههای تعمیمیافته از قوانین دمورگان برای مجموعهها به کار گرفت (در این آموزش فرض بر این است که همه مجموعهها زیرمجموعههایی از مجموعه جهانی بینامی هستند). با یک محاسبه ساده میتوان قانون دمورگان را برای سه مجموعه تأیید کرد:
میتوانیم قوانین مشابهی را برای چهار مجموعه، پنج مجموعه و... به دست آوریم.
قضیه قانون دمورگان تعمیم یافته
برای هر عدد طبیعی و هر مجموعه ، ، ... و ، داریم:
اثبات: اثبات را با استفاده از استقرا انجام میدهیم. در حالت پایه ، گزاره است. میخواهیم نشان دهیم که برای نیز صحیح است. مجموعه ، ، ... و را در نظر بگیرید. در نتیجه، داریم:
در این محاسبه، مرحله دوم توسط قانون دمورگان برای دو مجموعه به دست میآید، در حالی که مرحله سوم از فرض استقرا به دست میآید.
عملگرهای جبر بولی مجموعه ها و منطق
درست همانطور که قوانین منطق به ما اجازه میدهد جبر را با فرمولهای منطقی انجام دهیم، قوانین نظریه مجموعهها به ما این امکان را میدهد که عملیات جبری را برای مجموعهها انجام دهیم. به دلیل ارتباط تنگاتنگ بین منطق و نظریه مجموعهها، جبر آنها بسیار مشابه است. جبر مجموعهها، مانند جبر منطق، جبر بولی است.
وقتی جورج بول کتاب خود را درباره منطق نوشت، واقعاً به اندازه منطق درباره نظریه مجموعهها نیز بود. در حقیقت، بول بین یک گزاره و مجموعه اشیاء که آن گزاره برای آنها صادق است، قائل نشده است و قوانین جبری و فرمولهای آن به همان اندازه در هر دو مورد اعمال میشود. به طور دقیقتر، اگر ما فقط زیرمجموعه برخی از مجموعههای جهانی را در نظر بگیریم، مطابق جدول زیر، بین نمادهای اساسی و عملکرد منطق گزاره و نمادها و عملیات خاص در نظریه مجموعهها، ارتباط مستقیمی وجود دارد.
منطق | نظریه مجموعهها |
هر فرمول یا محاسبه منطقی معتبر با متغیرهای گزارهای و نمادهای ، ، ، و را میتوان با جایگذاری گزارهها در فرمول با زیرمجموعههای و جایگزینی نمادهای منطقی با ، ، ، و عملگر مکمل به یک فرمول یا محاسبه در نظریه مجموعهها تبدیل کرد.
مشابه آنچه در منطق داریم، عملیات نظریه مجموعهها را میتوان ترکیب کرد و عبارت پیچیدهای مانند به دست آورد. همواره میتوان از پرانتز برای چنین عبارتهایی به منظور تعیین اولویت عملیات استفاده کرد. در غیاب پرانتزها، به حضور قواعدی نیاز داریم تا اولویت عملیات را تعیین کنیم. قوانین تقدم در جبر بولی مجموعهها مستقیماً از جبر بولی برای گزارهها به دست میآیند. وقتی اجتماع و اشتراک با هم و بدون پرانتز مورد استفاده قرار میگیرند، اشتراک بر اجتماع تقدم دارد.
علاوه بر این، وقتی چند عملگر با نوع مشابه و بدون پرانتز استفاده شود، از چپ به راست آنها را اعمال میکنیم (البته از آنجا که و هرو عملگرهایی شرکتپذیر هستند، واقعاً مهم نیست که از چپ به راست یا راست به چپ آنها را اعمال کنیم). برای مثال، به صورت محاسبه میشود. عملیات مکمل یک حالت خاص است. از آنجا که با یک خط روی عملوند مشخص میشود، هیچگونه سردرگمی وجود نخواهد داشت.
میتوان قوانین نظریه مجموعهها را به کار گرفت و عبارات پیچیده را سادهسازی کرد. (البته چنانکه رایج است، معنی «سادهسازی» تا حدی برای چشم بیننده است.) برای مثال، برای مجموعههای و ، داریم:
که در مرحله دوم، قانون خودتوانی، که بیان میکند ، با اعمال میشود. برای عباراتی که از عمل مکمل استفاده میکنند، معمولاً سادهتر است که عملیات را به یک مجموعه تکی اعمال کرد، مثلاً ، تا اینکه به فرمولی مانند .
به عنوان مثال آخر رابطه بین نظریه مجموعهها و منطق، عبارت مبتنی بر نظریه مجموعههای و گزاره ترکیبی را در نظر بگیرید (این دو متناظرند، زیرا برای هر ، تساوی را داریم. ممکن است بگویید که به صورت شهودی واضح است.
به طور رسمی، این تساوی از این واقعیت ناشی میشود که ، که ممکن است از نظر شهودی کمتر روشن باشد و اثبات جبری آن از قوانین منطق دشوار باشد. با وجود این، روش دیگری برای بررسی صحت تساوی منطقی وجود دارد؛ اینکه یک جدول درستی تهیه کنیم. جدول درستی را در نظر بگیرید.
نادرست | نادرست | نادرست | نادرست |
نادرست | درست | درست | نادرست |
درست | درست | نادرست | درست |
درست | درست | درست | درست |
این واقعیت که ستون اول و ستون آخر این جدول مشابه هستند، نشان میدهد که . با در نظر گرفتن به عنوان گزاره و به عنوان گزاره ، نتیجه خواهیم گرفت که مجموعههای و اعضای یکسانی دارند و در نتیجه، برابرند.
یک سوال داشتم
علت عدم ارسال اطلاعات از نرم افزار می تواند باگ یا خطای برنامه نویسی باشد درست
برای فهمیدن خطا چکار باید کرد و چگونه متوجه خطا شویم
پیشاپیش از همکاری شما تشکر می کنم