הפרכה – הבדלי גרסאות

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

 

 

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