استنتاج قضیه ممکنه از دو قضیه ممکنه یکی از نزاع های پردامنه در منطق قدیم است که ارسطو، ابن سینا، فخر رازی، خواجه نصیر و قطب رازی بر آن مهر تأیید زده اند، در حالی که خونَجی، ابهری، ارموی و کاتبی آن را مردود شمرده اند. شگفت این است که منطق جدید در این نزاع جانب گروه دوم را می گیرد. از سوی دیگر، اخیراً معلوم شده است که منطق دانان قدیم هر یک از قضیه حقیقیه و خارجیه را به اشتراک لفظ در دو معنا به کار ...

قانونگذار قانون مجازات اسلامی سال 1370 برابر ماده 231 اقرار و شهادت (بینه) را از راه­های ثبوت قتل در دادگاه به حساب آورده و مواد 232 الی 236 را به احکام اقرار و مادتین 237 و 238 را به احکام شهادت اختصاص داده است. در فرضی که بر ارتکاب قتل از سوی «الف» با گواهان حائز شرایط اقامه بینه می­شود و در عین حال فرد دیگری با شرایطی که مقنن در جهت پذیرش اقرار لازم می­داند، اقرار می­کند که قاتل نه مشهود عل...

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

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

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

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

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

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

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

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