ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

فرض کنید δ یک مجتمع سادکی با بعد 1-d و بردار آن باشد. ثابت میکنیم که اگر δ در شرط سر (sr) صدق کند، آنگاه به ازای هر i و r با شرط مجموع نامنفی است. بعلاوه نشان می دهیم که اگر حلقه استنلی-رایزنر مجتمع سادکی مجموعه های مستقل یک گراف دو بخشی g در شرط سر (s2) صدق کند آنگاه g کوهن-مکالی است. این نشان می دهد که هم ارزی خاصیت کوهن- مکالی و شرط s2 برای گراف های چوردال درست است.

زیر مدولهای اول -r مدول چپ m ارتباط نزدیکی با ایده آلهای اول حلقه r دارند. اگر n یک زیر مدول اول از m باشد آنگاه pa n n m/n یک ایده آل دو طرفه از r است . یک رده خاص از زیر مدولهای اول m را، زیر مدولهای قویا اول از m در نظر می گیریم و نشان می دهیم که اگر r در شرط زنجیر صعودی (به ترتیب در شرط زنجیر نزولی) روی ایده آلهای اول صدق کند و m یک -r مدول چپ متناهیا تولید شده باشد آنگاه m در شرط زنجیر صعو...

فرض کنید r یک حلقه و m یک r-مدول راست باشد. در این پایان نامه نشان می دهیم که: مدول m آرتینی است اگر و تنها اگر مدول mفراوان متمم شده ی تعمیم یافته باشد و در شرط زنجیرهای روی زیرمدول های متمم تعمیم یافته و روی زیرمدول های کوچک صدق کند. اگر مدول m در شرط زنجیرهای افزایشی روی زیرمدول های کوچک صدق کند آن گاه مدول m بالابر است اگروتنها اگر مدول m فراوان متمم شده باشد و هر زیرمدول متمم تعمیم یافته...

مجموع یک زیرمجموعه از جمله های یک سری نامتناهی، یک مجموع انتخابی آن سری نامیده می شود.در این مقاله، به توصیف مجموعۀ همۀ مجموع های انتخابی برخی سری ها می پردازیم و نشان می دهیم که اگر یک سری در شرط های ویژه ای صدق کند، مجموعۀ همۀ مجموع های انتخابی آن، به روشی مشابه با ساختن مجموعۀ کانتور به دست می آید.

مفهوم مدول هایی(حلقه هایی) که در شرط acc روی زیرمدول های خاصی صدق می کنند در مرجع [2] معرفی و خواص مهم و گوناگونی از حلقه های نوتری به این حلقه ها و مدول ها توسعه داده شد. مؤلف حاضر در مراجع [5] و [6]، دوگان مفهوم فوق را معرفی، و به توسعهٔ این تئوری پرداخت. در این مقاله یک مشخصه سازی از این حلقه ها ارائه شده است.

چکیده دیویدسون با تأثیرپذیری از فیلسوفانی چون فرگه، تارسکی و کواین، به طرح نظریة معنایی می پردازد که حاوی نظریة صدقی به شکل نظریة صدق تارسکی است. نظریة دیویدسونی، از یک سو، صوری و شرط صدقی و از سوی دیگر تجربی است؛ از این رو، کاربرد آن برای ارائة تعبیری از زبان و سخنان گویندگان، منوط به برآورده شدن محدودیت هایی صوری و تجربی است. محدودیت های صوری را دیویدسون، از کارهای تارسکی در باب کفایت صوری ت...

دراین پایان نامه دو رده جدید نگاشت های غیرانبساطی، با عنوان های شرط(e)و شرط (c?)تعریف می گردند.سپس وجود نقاط ثابت و رفتار مجانبی این دو نگاشت مورد مطالعه قرار میگیرد.در ضمن اگر c بازه بسته از اعداد حقیقی و t نگاشتی روی c باشدبه طوری که در شرط(c?)با 3/4=? صدق کند. آنگاه t نقطه ثابت دارد.

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می‌شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می‌آید، معادل ترکیب‌های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می‌باشد. این ترکیب اساسی‌ترین مفهوم منطق جدید محسوب می‌شود و در استدلال‌های پیچیدۀ ریاضی نتایج رضایت‌بخشی داده است. آگاهی یا عدم آگاهی منطق‌دانان قدیم از شروط صدق این ترکیب سئوا...

در این پایان نامه ابتدا شرط برد پایدار $ n $ را معرفی کرده، سپس حلقه های تبادلی را تعریف می کنیم و شرایط لازم و کافی برای این که حلقه تبادلی $ r $، در شرط برد پایدار $ n $ صدق کند را بیان می کنیم. نشان می دهیم که حلقه تبادلی $ r $، در شرط برد پایدار $ n $ صدق می کند اگر و تنها اگر برای هرعنصر منظم $ ain r ^{n} $، عنصر تک پیمانه ای مانند $ u in r ^{n} $ وجود داشته باشد به طوری که $ au in r $ یک ...