برهان عکس نقیض

از ویکی‌پدیا، دانشنامهٔ آزاد

در ریاضیات، برهان عکس نقیض (به انگلیسی: Proof by contrapositive) یک قاعدهٔ استنتاج است که در اثبات‌های ریاضی استفاده می‌شود، که در آن گزارهٔ شرطی از عکس نقیض آن استنباط می‌شود.[۱] یک گزاره و عکس نقیض آن، از نظر منطقی هم‌ارز هستند، به این معنا که اگر گزاره درست باشد، عکس نقیض آن نیز درست است و بالعکس.[۲] به عبارت دیگر، در برهان عکس نقیض، نتیجهٔ «اگر ، آنگاه » با ساختن دلیلی برای ادعای «اگر نقیض ، آنگاه نقیض » استنتاج می‌شود. در اغلب موارد، این رویکرد در صورتی ترجیح داده می‌شود که اثبات عکس نقیض گزاره، آسان‌تر از اثبات خود گزارهٔ شرطی اصلی باشد.

به‌طور منطقی، اعتبار برهان عکس نقیض را می‌توان با استفاده از جدول ارزش زیر نشان داد، که در آن نشان داده شده‌است که و در همهٔ حالت‌ها، ارزش‌های درست یکسانی را به‌اشتراک می‌گذارند:

د د ن ن د د
د ن ن د ن ن
ن د د ن د د
ن ن د د د د

تفاوت با برهان خلف[ویرایش]

برهان خلف: فرض کنید درست است، نادرست است، بنابراین نادرست است و درست است.

برهان عکس نقیض: برای اثبات درستی ، درستی گزارهٔ عکس نقیض آن که است را ثابت کنید.

مثال[ویرایش]

اجازه دهید یک عدد صحیح باشد.

برای اثبات: اگر زوج باشد، زوج است.

اگر چه می‌توان آن را به‌روش اثبات مستقیم اثبات کرد، اما برای اثبات این گزاره، از برهان عکس نقیض استفاده می‌کنیم. عکس نقیض گزارهٔ بالا، گزارهٔ زیر است:

اگر زوج نباشد، زوج نیست.

این گزارهٔ دوم به‌این شکل می‌تواند اثبات شود: زوج نیست، پس فرد است و حاصل‌ضرب دو عدد فرد، فرد است، از این رو، نیز فرد است؛ بنابراین زوج نیست.

پس از اثبات درستی عکس نقیض گزاره، می‌توانیم نتیجه بگیریم که گزارهٔ اصلی نیز درست است.

جستارهای وابسته[ویرایش]

منابع[ویرایش]

  1. Cusick, Larry. "Proofs by Contrapositive". zimmer.csufresno.edu. Retrieved 2019-10-26.
  2. Sheldon, Frederick. "Conditional Statement Forms". www.csm.ornl.gov. Retrieved 2019-10-26.