דוגמה נגדית – הבדלי גרסאות

ב[[לוגיקה]] וב[[מתמטיקה]], '''דוגמאדוגמה נגדית''' היא שיטה ל[[הפרכה]] של טענות.

שיטה זו מטפלת בטענות שעוסקות ב[[מקרה כללי|מקרים כלליים]], ומראה כי קיים לפחות [[מקרה פרטי]] אחד שבו הטענה אינה נכונה. די במקרה פרטי אחד זה, הקרוי '''דוגמאדוגמה נגדית''', כדי להפריך את הטענה.

להמחשה, בעבר חשבו שכל מספר שבנוי רק מהספרה 3, אך ספרת האחדות שלו היא 1, הוא [[מספר ראשוני]]. טענה זו אכן הייתה נכונה עבור מקרים פרטיים רבים: 31, 331, 3,331 וכו'. אולם עם כניסת ה[[מחשב]] לבדיקת ראשוניות המספרים, התברר כי המספר 333,333,331 הינו מכפלה של 17 ו-19,607,843 ולכן אינו ראשוני. המספר 333,333,331 מהווה דוגמאדוגמה נגדית לכלל שצוין ובכך מפריך אותו.