שינויים
* <math>\ (A \rightarrow B) \equiv ((\neg B) \rightarrow (\neg A))</math>.
דוגמאות מילוליות:
*"כלב נובח אינו נושך" אם"ם "כלב נושך אינו נובח"
הסבר: נסמן ב- D את קבוצת כל הכלבים ב -A את הנובחים וב- B את הנושכים אז הדוגמא היא בעצם <math>\forall x\in D :((x\in A\to x\notin B)\iff (x\in B to x\notin A)) </math>
* מי שלא לומד בסמסטר נכשל במבחן אמ"מ מי שלא נכשל במבחן למד בסמסטר
===דרכי הוכחה===
דוגמאות מילוליות:
*"כלב נובח אינו נושךבשביל להוכיח את הטענה ש " אםמישהו יכתוב בדיחה במבחן במקום תשובה אז הוא יקבל ניקוד חלקי"ם ניתן להוכיח באופן שקול כי "כלב נושך אינו נובחאם מישהו לא קיבל ניקוד חלקי במבחן אז זה אומר שהוא לא כתב בדיחה במבחן במקום תשובה"* מי שלא לומד בסמסטר נכשל במבחן אמבשביל להוכיח את הטענה ש "הגובה שלי נמוך מ מי שלא נכשל במבחן למד בסמסטר*- 3 מטר" אפשר להוכיח באופן שקול כי הגובה שלי לפחות 3 מטר ולהגיע לסתירה. למשל הטיעון הבא: "אם הגובה שלי היה לפחות 3 מטר, אז הראש שלי היה נוגע בתקרה. כיוון שהוא לא נוגע בתקרה, זו סתירה ולכן איני בגובה 3 מטר"
==שלילת פסוקים==
