מכינה למחלקת מתמטיקה/מערכי שיעור/14

שיטות הוכחה

הוכחה בשלילה

הוכחה בשלילה מבוססת על הטאוטולוגיה $(\sim p \rightarrow F)\rightarrow p$. בהוכחה בשלילה אנו מניחים את השלילה של מה שצריך להוכיח ומגיעים לסתירה.

שימו לב שאנו לא שוללים את הנתון אלא את הצ"ל.

דוגמא:

תרגיל תהיינה A,B קבוצות המקיימות $A\backslash B=B\backslash A$. הוכח כי $A=B$

הוכחה בשלילה:

נתון: $A\backslash B=B\backslash A$

צ"ל: $A=B$

נניח בשלילה כי $A\neq B$.

לכן קיים $a\in A$ כך ש $a\notin B$ (או ההפך)

לכן לפי ההגדרה $a\in A\backslash B$ אבל $a\notin B\backslash A$ (או ההפך)

לכן $A\backslash B\neq B\backslash A$

בסתירה.