בלוגיקה ובמתמטיקה הוכחה בדרך השלילה או הוכחה עקיפה היא שיטת הוכחה לפיה אם הפרכת טיעון מסוים מובילה לסתירה לוגית — הטיעון נכון. במילים אחרות: אם הנחת טיעון מסוים מובילה לסתירה לוגית, אזי ניגודה של הנחה זו בהכרח נכון. בלטינית מכונה Reductio ad absurdum – רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם - רדוקציה לאבסורד ("צמצום לאבסורד"), כלומר טענה שמובילה למצב לא⁻הגיוני. מתוך ויקיפדיה

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

אגתוניסי, אגתוקלס (בן ליסימכוס), אגתרכידס, אד, אד (סדרת טלוויזיה), אד אד ואדי, אד אדד ואדי, אד או'בריאן, אד או'ניל, אד אוניל