שינויים
/* הוכחת פסוק עם כמתים- לכל או קיים */
שימו לב שעל מנת להפריך טענת '''לכל''' יש לספק דוגמא נגדית, ועל מנת להפריך טענת '''קיים''' יש להוכיח שכל האיברים הכלליים אינם מקיימים את הטענה.
'''דוגמא'''
תהי קבוצה B. הוכיחו כי קיימת קבוצה A שאינה ריקה כך ש <math>A\cap B = B</math>
כיוון שאין סוף למספרים הטבעיים, ניתן לבחור מספר n כלשהו הגדול מ<math>\frac{1}{x}</math>.
*הוכיחו כי אין גבול לסדרה <math>a_n=(-1)^n</math>
==הוכחת שיוויון בין קבוצות==
