قضیه: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش برچسبها: ویرایشگر دیداری ویرایش همراه ویرایش از وبگاه همراه |
بدون خلاصۀ ویرایش برچسبها: ویرایش همراه ویرایش از وبگاه همراه ویرایش پیشرفتهٔ همراه |
||
خط ۱:
{{بهبود منبع|تاریخ=اکتبر ۲۰۱۹}}
{{یادکرد دقیق|تاریخ=اکتبر ۲۰۱۹}}
'''قضیه''' یا '''فَربین'''{{مدرک}}، در ریاضیات، گزارهای است که بر پایه گزارههای پیشین مثل سایر قضایا یا تئوریها، گزارههایی که به صورت کلی و عام پذیرفته
اثبات تئوری اغلب برای توجیه درستی گزاره قضیه تفسیر و مطرح میشوند. با توجه به اثبات قضایای ریاضی بر اساس نیاز، مفهوم و تصور کلی یک قضیه ریاضی اساساً استقرایی است که در تضاد با مفهوم یک نظریه (قضیه) علمی - که بر اساس تجربه و آزمایش است -، میباشد.{{مدرک}}
خط ۷:
بسیاری از قضایای ریاضی گزارههای شرطی هستند. در این مورد، اثبات از نتیجه گرفته شده از فرض قضیه استنباط میشود. با توجه به تعبیر و تفسیر اثبات به عنوان توجیه یک درستی، استنتاج اغلب به منظور نتیجه لازم و ضروری فرض قضیه دیده میشود. به عبارت دیگر، استنتاج با توجه به فرضیاتی که درست هستند، بدون هیچ فرض اضافه تر، صحیح میباشد. به هر حال، گزارههای شرطی با توجه به مفاهیمی که به قوانین استنتاج و نمادهای شرطی اختصاص داده شدهاند، میتوانند بهطور متفاوت در روش (سیستم) استقرایی تفسیر و مطرح شوند.{{مدرک}}
اگر چه آنها میتوانند به صورت کاملاً نمادین نوشته شوند، برای مثال در حساب گزارهای قضایا اغلب در زبان طبیعی مانند انگلیسی بیان میشوند. همان اثبات درست است که به عنوان منطقی سازماندهی شده و استدلالی رسمی نوشته شده، قصد دارد که خواننده را بر درستی گزاره فارق از هرگونه شکی متقاعد کند. این استدلالها برای بررسی معمولاً آسان تر است نسبت به آنهایی که کاملاً نمادین هستند. در واقع بسیاری از ریاضیدانان که صورتی از اثبات را بیان کردند که نه تنها درستی قضیه را بیان میکند بلکه به گونهای توضیح میدهد که چرا قضیه صحیح میباشد. در بعضی حالات یک تصویر میتواند برای اثبات یک قضیه کافی باشد. از
== حساب رسمی قضایا ==
|