قضیه ی شور بیان می کند که برای گروه g، متناهی بودن g/z(g)، متناهی بودن g را نتیجه می دهد. عکس این قضیه در حالت کلی برقرار نیست. در این پایان نامه نشان می دهیم که تحت شرایطی، عکس قضیه ی شور برقرار است. و کران هایی مناسب برای گروه خارج قسمتی g/z(g) پیدا می کنیم. در واقع نشان می دهیم که اگر g متناهیاً تولید شده باشد به طوری که g متناهی باشد، آن گاه g/z(g) متناهی است. و اگر g گروهی دلخواه باشد و d(g...

ابن سینا دو تعریف متمایز برای جمله ی خبری ارائه می دهد. یکی در الشفاء: «قضیه عبارتی است که دارای صدق یا کذب است» و دیگری در الإشارات: «ترکیب خبری آن است که گوینده ی آن را بتوان در آنچه می گوید، صادق یا کاذب دانست». بنابر یک تفسیر، این دو تعریف دو ملاک تمایز برای جمله ی خبری است، که هرکدام به فضای معناداریِ مستقلّی تعلّق دارد. تعریف نخست مبتنی بر فضای سمانتیکال است، که بر اساس آن، جمله ی خبری به تن...

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

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

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...

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

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

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

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