שינויים

'''הפרכה''' של טענה אינה אלא '''הוכחה''' שהטענה אינה נכונה. הסוג הנפוץ ביותר הוא * '''הפרכה על-ידי דוגמא נגדית''': * כדי להפריך את הטענה <math>\ \forall x: P(x)</math>, יש להראות שקיים x שעבורו הטענה <math>\ P(x)</math> אינה נכונה. גם כאן, הדרך השכיחה ביותר היא להצביע על ערך מסויים של x שעבורו הטענה אינה נכונה. * מאידך, כדי להפריך את הטענה <math>\ \exists x: P(x)</math>, יש *להוכיח* שלכל x, הטענה <math>\ P(x)</math> אינה נכונה.