תוכן שנמחק תוכן שנוסף
שורה 7:
לעיתים כדי להפריך טענה, די בהבאת [[דוגמה נגדית]]. כך, למשל לשם הפרכת הטענה "כל המספרים הראשוניים הם אי-זוגיים" די להביא את המספר 2 כדוגמה למספר ראשוני זוגי.
 
הפרכתן של טענות אחרות דורשת הוכחה מורכבת יותר. למשל הפרכת הטענה "[[מספר ראשוני|המספרים הראשוניים]] הם [[קבוצה סופית]]" נעשית באמצעות יציאה מנקודת ההנחה שהטענה אכןאינה נכונה, ובניית שרשרת שיקולים המובילה לידי סתירה. סתירה זו מוכיחה כי ההנחה כי קבוצת המספרים הראשוניים היא "מופרכת", כלומר אינה נכונה.
 
הפרכה משמשת ל"[[הוכחה בדרך השלילה]]". הטענה בדבר [[קיומם של אינסוף מספרים ראשוניים]] מוכחת באמצעות הפרכה של שלילתה.