روش‌های اثبات در ریاضیات مجموعه‌ای از شیوه‌های منطقی برای نشان‌دادن درستی یا نادرستی گزاره‌های ریاضی هستند. انتخاب روش مناسب، به ساختار منطقی گزاره، نوع فرض‌ها، دامنه متغیرها و شکل نتیجه بستگی دارد. در این مقاله، چارچوب کلی اثبات ریاضی و تفاوت میان اثبات مستقیم، برهان خلف، برهان عکس نقیض، اثبات با تفکیک حالات، استقرا، استقرای قوی و مثال نقض بررسی می‌شود.
درک تفاوت این روش‌ها به دانش‌آموز و دانشجو کمک می‌کند به‌جای آزمون و خطای محاسباتی، ساختار منطقی مسئله را تشخیص دهد و برای هر گزاره، راهبرد مناسب‌تری انتخاب کند. این مقاله ضمن معرفی جایگاه هر روش، ارتباط میان آنها و نمونه‌های کوتاه ریاضی را نیز توضیح می‌دهد.
در منطق گزاره‌ای، شرطی و دوشرطی از مهم‌ترین عملگرهایی هستند که برای بیان رابطه میان دو گزاره به کار می‌روند. گزاره شرطی با نماد \(p\rightarrow q\) نوشته می‌شود و معمولاً به صورت «اگر \(p\)، آنگاه \(q\)» خوانده می‌شود. این گزاره فقط زمانی نادرست است که \(p\) درست و \(q\) نادرست باشد. در مقابل، گزاره دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده می‌شود و زمانی درست است که \(p\) و \(q\) ارزش صدق یکسانی داشته باشند.
در این مقاله تعریف دقیق شرطی و دوشرطی، تفاوت آنها، جدول ارزش، رابطه با عکس و عکس نقیض، مفهوم شرط لازم و کافی، هم‌ارزی‌های مهم و روش حل مثال‌های مختلف بررسی می‌شود.