نحوه یافتن ب.م.م-2

سلام. در جلسات قبلی ما قضایی رو تو مپتر بمیمی مطرح کردیم

که از اثبات اونها تو اون جلسات گذشتیم.

تو این جلسه قصد داریم که به اثبات اون قضایی که مطرح کردیم بپردازیم.

اولین قضایی که اونوان شد و اثباتش بیان نشد این بود.

که میگفت بمیمیم آ و برابر میشه با بمیمیم آ و بمیمیم آ و به علاوه یک مذرب دلخواهی از آ.

در واقع میگه که شما میتونید یک مذربی از آ رو به دد دوم اضافه کنید و بمیمی تغییر نکنید.

برای اثبات این قضیه ما میاییم فرج میکنیم به میمیم آ و دی هستش و به میمیم این عبارت دوم دپریم هستش.

بینیم که طبق تعریف به میمیم دی آت میکنه آ و دی آت میکنه برون.

ما میخواییم این عبارت رو سعی کنیم ایجادش کنیم.

کار کنیم میگیم به طبق قضایی هایی که از آت کردن بلدیم.

میدونیم دی آت میکنه یک ذریعی بی از آ رو.

پس دی آت میکنه کار آ.

باز طبق قضایی هایی که بلدیم میتونیم این دو عبارت رو از همکم یا جمع کنیم.

پس دی آت میکنه به علاوه یا منهای کار زبطر آ.

پس طرف این میدونیم دی آت میکنه آ رو.

پس میتونیم نتیجه بگیریم دی کوچکتر مصاویه بمیمیم آ و ب به علاوه منهای کار آ هستش.

به این عبارت رو گذاشتیم دپریم.

و الان میدونیم دی ما کوچکتر مصاویه دپریم هستش.

از طرف دیگه میدونیم دی پریم آت میکنه آ رو.

دی پریم هم طبق قاریف بمیمیم آت میکنه به به علاوه یا منهای کار زبطر آ رو.

باز من میتونم این رو زبطر یک کار کنم.

یا دی پریم آت میکنه آ زبطر کار رو.

این دو عبارت رو میتونم از همکم یا با همت همشون کنم.

پس میتونم نتیجه بگیرم دی پریم من آت میکنه به رو.

از طرف دی پریم آت میکنه آ رو.

پس تعریف بمیمیم میتونم بگم که دی پریم کتر مصاویه بمیمیم آ و به هستش.

بمیم آ بایی که ده هست.

پس دی پریم من کتر مصاویه دی هست.

اگر من این رابطه رو رابطه یک بذارم و این رابطه رو رابطه ی دو بذارم

از رابطه یک و رابطه دو میتونم نتیجه بگیرم که دی پریم برابر با دی

یعنی چیزی که من میخواستم اینجا اثباتش کنم

قضیه بعدی که مطرح شد ولی اثباتش بیان نشد این قضیه