שינויים

'''הפרכה''' של טענה אינה אלא הוכחה שהטענה אינה נכונה. הדוגמא החשובה ביותר היא '''הפרכה על-ידי דוגמא נגדית''':

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

'''תרגילים'''.