שינויים

כאשר רוצים להוכיח טענה, לפעמים יותר נח להוכיח ניסוח שקול (לוגית) אליה. דוגמאות נפוצות מוצגים בטענה הבאה: הוכח שהפסוקים הבאים הינם טאוטולוגיות:*<math>(A\rightarrow B) \iff equiv (\neg B \rightarrow \neg A)</math>*(הנחה בשלילה) <math>A \iffequiv (\neg A \rightarrow F)</math>*<math>(A\lor B) \iffequiv (\neg A \rightarrow B)</math>