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

برهان عکس نقیض یکی از روش‌های مهم برای اثبات گزاره‌های شرطی در ریاضیات است. اگر گزاره‌ای به صورت \(P \rightarrow Q\) باشد، عکس نقیض آن \( \lnot Q \rightarrow \lnot P \) است و این دو گزاره از نظر منطقی هم‌ارز هستند. بنابراین می‌توان به جای اثبات مستقیم گزاره، عکس نقیض آن را اثبات کرد.

در این روش، به جای شروع از فرض \(P\) و رسیدن به \(Q\)، فرض می‌کنیم \(Q\) نادرست است و نشان می‌دهیم که در نتیجه \(P\) نیز نمی‌تواند درست باشد. این روش به‌ویژه زمانی مفید است که کار با \( \lnot Q \) ساده‌تر از کار با \(P\) باشد. در این مقاله تعریف دقیق برهان عکس نقیض، رابطه منطقی آن با گزاره اصلی، مراحل اجرای اثبات، تفاوت آن با برهان خلف و چند مثال حل‌شده بررسی می‌شود.