قضیه کلمه ای با ریشه یونانی است که الف گزاره ای که بیانگر حقیقتی برای حوزه خاصی از علم است، که این ویژگی را دارد که با توسل به گزاره های دیگری که قبلاً نشان داده شده ، بدیهیات قابل اثبات است. معمولا قضیه ها از علومی پشتیبانی می کنند به نام 'دقیق’، به ویژه "رسمی" (ریاضیات ، منطق) ، مواردی است که از عناصر ایده آل برای نتیجه گیری کلی استفاده می کند.
تفکر پشت مفهوم قضیه این است که ، مادامی که این موارد بر اساس گزاره های واقعی که به طور منطقی و صحیح بیان می شوند ، بنا شده است ، آنچه قضیه بیان می کند یک حقیقت با اعتبار مطلق است. این دقیقاً همان چیزی است که به آنها اجازه می دهد بدون نیاز به اثبات مجدد آن ، به عنوان پشتیبان توسعه هر نظریه علمی عمل کنند.
کیفیت اصلی قضایا ویژگی آنهاست منطقی. به طور کلی ، و دوباره در مقایسه با انواع دیگر دانش علمی (مانند آنهایی که از طریق استنباط یا مشاهده تولید می شوند) ، منشا آن از انجام روال منطقی است که می توان به راحتی آن را سفارش داد. از این لحاظ قضایا از a شروع می شوند فرضیه اساسی، همان چیزی است که شما می خواهید نشان دهید. یک تز ، که دقیقاً همان است تظاهرات، و یک نتیجه گیری ، که نتیجه که پس از اتمام تظاهرات به دست می آید.
همانطور که گفته شد ، ایده اصلی قضایا مسئله امکان سنجی مداوم و امکان علامت گذاری مجدد و پذیرفتن مجدد در همه زمان ها است. با این وجود ، اگر موقعیت واحدی بوجود آید که قضیه جهانی بودن خود را از دست بدهد ، قضیه بلافاصله باطل می شود.
مفهوم قضیه توسط گرفته شده است علوم دیگر (اقتصاد ، روانشناسی یا علوم سیاسی ، از جمله) برای تعیین برخی مفاهیم مهم یا بنیادی حاکم بر آن زمینه ها ، حتی اگر این موارد از طریق روش توضیح داده نشود. در این موارد ، بدیهیات استفاده نمی شوند ، بلکه از استنباط های انجام شده توسط روشهایی مانند مشاهده یا حتی نمونه گیری آماری استفاده می شوند.
لیست زیر نمونه هایی از قضیه ها و شرح مختصری از آنچه فرض می کند را جمع آوری می کند:
- قضیه فیثاغورث: رابطه بین اندازه هیپوتنوز و پاها ، در مورد مثلث های راست.
- قضیه عدد اول: هرچه خط اعداد رشد می کند ، تعداد آن از گروه کمتر و کمتر می شود.
- قضیه دو جمله ای: فرمول حل قدرت دوجمله ای (جمع یا تفریق عناصر).
- قضیه فروبنیوس: حل فرمول برای سیستمهای معادلات خطی.
- قضیه تالس: ویژگی ها از نظر زاویه و اضلاع مثلث های مشابه و سایر خصوصیات آنها.
- قضیه اولر: تعداد رئوس بعلاوه تعداد چهره ها برابر است با تعداد لبه ها بعلاوه 2.
- قضیه بطلمیوس: مجموع محصولات موربها برابر است با حاصلضربهای اضلاع مخالف.
- قضیه کوشی-هادامارد: ایجاد شعاع همگرایی مجموعه ای از قدرت ها که یک تابع را در اطراف یک نقطه تقریب می زند.
- قضیه رول: در یک بازه که شدتهای ارزیابی شده آن در یک تابع قابل تغییر برابر است ، همیشه یک نقطه وجود دارد که در آن مشتق محو می شود.
- قضیه مقدار میانگین: اگر یک تابع در یک بازه مداوم و قابل تفکیک باشد ، در آن بازه یک نقطه وجود خواهد داشت که مماس موازی با ثانیه باشد.
- قضیه کوشی دینی: شرایط محاسبه مشتقات در مورد توابع ضمنی.
- قضیه حساب: استخراج و یکپارچه سازی یک تابع عملیاتی معکوس هستند.
- قضیه حساب: هر عدد صحیح مثبت را می توان به عنوان محصولی از عوامل اصلی نشان داد.
- قضیه بیز (آمار): روش بدست آوردن احتمالات مشروط.
- قضیه تار عنکبوت (اقتصاد): قضیه برای توضیح شکل گیری محصولاتی که براساس قیمت قبلی ساخته می شوند.
- قضیه مارشال لرنر (اقتصاد): تجزیه و تحلیل تأثیر کاهش ارزش پول از نظر کمی و قیمت.
- قضیه Coase (اقتصاد): راه حل برای موارد خارجی ، تمایل به تنظیم مقررات.
- قضیه رای دهندگان میانه (علوم سیاسی): سیستم انتخابات اکثریت تمایل به رای متوسط دارد.
- قضیه باگلینی (علوم سیاسی ، آرژانتین): سیاستمدار وقتی به مواضع قدرت نزدیک می شود تمایل دارد که پیشنهادهای خود را به مرکز ارائه دهد.
- قضیه توماس (جامعه شناسی): اگر افراد موقعیت ها را واقعی تعریف کنند ، در عواقب واقعی می شوند.
