הוכחה בדרך השלילה - היא דרך להוכחת טענות מתימטיות, מקובלת גם בלוגיקה ופילוסופיה.
בשיטה זו, כדי להוכיח נכונות של טענה מסויימת - מניחים את שלילת נכונותה ואז, בסדרת צעדים מראים כי הנחת השלילה מביאה לידי סתירה עם דברים מוכחים אחרים - והמסקנה המתבקשת היא ששלילת הטענה אינה נכונה ונובע מכך שהיפוכה של השלילה נכון (כלומר הטענה המקורית נכונה).
שיטת הוכחה זו מקובלת ביותר במתימטיקה.
אצל הפילוסופים המצב מעט שונה, שכן, השיטה מסתמכת על "כלל השלישי נמנע" מחוקי המחשבה,
מי שאינם מקבלים כלל זה - לא רואים בכך הוכחה כי אם רק שלילת היפוכה.