البديل المنطقي في المنطق الرياضي هو تقنية تستخدم في البرهان الرياضية لإثبات صحة تصريحات معينة. يتم استخدام البديل المنطقي عند تعريف أحد الشروط بشكل لن يكون قابلًا للفهم إلا بما يقابله من ضد. على سبيل المثال: إذا تم تعريف الأعداد الزوجية بأنها الأعداد التي تقبل القسمة على 2، يمكن استخدام البديل المنطقي لإثبات أن الأعداد الفردية هي التي لا تقبل القسمة على 2. يمكن تطبيق البديل المنطقي في مجموعة متنوعة من مجالات الرياضيات، بما في ذلك الحساب والهندسة ونظرية الأعداد.
