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