مفهوم «شرط»، از جمله مباحث علم اصول فقه و به معنای انتفای حکم موجود در قضیه شرطیه در فرض انتفای شرط است. برای اثبات و وجود مفهوم شرط، لازم است با انتفای موضوع، سنخ حکم موجود در قضیه شرطیه منتفی شود و نه شخص حکم. اما انتفای سنخ حکم در قضایایی که حکم مستفاد از هیأت است، با یک اشکال جدی روبه­رو است؛ چرا که بنا برنظریه مشهور در خصوص وضع هیأت، حکم مستفاد از هیأت، دارای معنای جزئی و به عبارتی شخص حکم...

در این مقاله؛ ما یک نتیجه در باب وجود جواب یک نابرابری تغییراتی برداری قوی گسترش یافته به دست می آوریم و از آن یک قضیه نقطه تطابق در یک فضای هیلبرت نتیجه می گیریم.

در این پایان نامه به معرفی خواص عمومی فضاهای دو-متریک می پردازیم.در نهایت پیوستگی نگاشت های خطی روی فضاهای دو-نرم خطی را مورد بررسی قرار می دهیم و قضیه باناخ-اشتینهوس را برای یک خانواده از عملگرهای دو-خطی کراندار به توی یک فضای باناخ مورد بررسی قرار می دهیم.

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

این پایان نامه برخی قضایای نقطه ثابت را، برای انقباضها روی فضاهایی با دو متر، ارائه می دهد. به علاوه ، قضایای مشابهی برای هموتوپی های انقباضی گسترش یافته روی این فضاها، با جزئیات بیان می گردند. در واقع این نتایج، بسطی از روش استمرار گراناس برای نگاشتهای انقباضی برای فضاهای مجهز شده به دو مترمی باشد. انگیزه به وجود آمدن این نتایج از مطالعه معادلات دیفرانسیل در فضاهای باناخ ناشی شده است.

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

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

چکیده ندارد.

هدف از نگارش این مقاله، بررسی کارکرد معرفتی قضایای حقیقیه و خارجیه در صناعت برهان، در سایۀ تأمّل در ضوابط و شرایط منطقی این قضایا است. در باب قضایای حقیقیه و خارجیه، دیدگاه­های متعددی ارائه شده است که دیدگاه مختار در پژوهش حاضر، بر مبنای تمایز این دو گزاره از حیث نحوۀ اقتران عقدین استوار است. اگر اقتران عقدالوضع و عقدالحمل در قضیة مسوّره به نحو لزومی باشد، قضیه حقیقیه است و اگر این ارتباط به نحو ...

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