چکیده: در این نوشته بیان می شود که چگونه با استفاده از سه موضوع : منطق گزاره ها، جبر مجموعه ها و جبر بول می توان اثبات نسبتاً پیچیده خاصیت شرکت پذیری تفاضل متقارن سه مجموعه را سازمان دهی فکری کرد و با یک نظم منطقی این روش اثبات را آسان تر نمود تا هم به راحتی اثبات کمک نموده و هم ارتباط این سه موضوع در آن را به خوبی مشاهده نمود.
تعداد صفحه فایل: 3 صفحه در ورد و قابل ویرایش. با فرمت docx
تهییه کننده: مرادخانی
مطالب: – اثبات شرکت پذیری عمل تفاضل متقارن سه مجموعه
- اثبات خاصیت شرکت پذیری عمل یای مانع جمع در جبر بول
در این فایل همان طوری که نشان داده شد، ارتباط نزدیکی بین راه و روش اثبات با درک روابط هم ارز در منطق گزاره ها ، جبر مجموعه ها و جبر بول وجود دارد. که این مهم کمک به نظام مند نمودن روش اثبات کرده و از سختی و پیچیدگی حاصل از عمل های توزیع پذیری(پخش پذیری) اعمال اشتراک و اجتماع نسبت به هم می کاهد زیرا روش اثبات را از راه دیگری که همان درک ارتباط بین این سه مفهوم است، تغییر می دهد.
به طور خلاصه، مجموعه تمام گزاره ها با عمل های منطقی، عطفی()، فصلی() و نقیض() یک جبر بول ساخته که میتوان بین عناصر این جبر بول، عمل جمع ، ضرب و متمم را به ترتیب معادل عمل های عطفی، فصلی و نقیض در نظر گرفت.
همچنین مجموعه متناهی از تمام مجموعه ها با اعمال اجتماع، اشراک و متمم نیز یک جبر بوده که اعمال اجتماع ، اشتراک و متمم به ترتیب معادل با جمع، ضرب و متمم در دستگاه جبر بول می باشند.
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.