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

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

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

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

پروفسور چانگ ‏‎(c.c.chang)‎‏ در سال 1958 برای اولین بار مفهوم ‏‎-mv‎‏ جبر را برای اثبات تمامیت منطق لوکاسیویچ و تارسکی بطریق جبری، مطرح کرد و به بررسی خواص آن پرداخت. بعد از وی ریاضیدانان زیادی به تحقیق در این زمینه پرداختند.در این نوشتار ما در چهار فصل با بیان نمایش بولی (ضعیف) و ‏‎-mv‎‏ جبرهای ابرنرمال به بررسی خواص ‏‎‏‎-mv‎‏ جبرهای توابع پیوسته حقیقی مقدار روی فضای توپولوژیک ‏‎x‎‏ می پردازیم.

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

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

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

در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.

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