אם-אז – הבדלי גרסאות

* כאשר משנים את מיקום המשתנים "<math>B \rightarrow A</math>" מדובר על [[טענההטענה המנוגדת]] (converse) של הטענהלטענה המקורית. טענה זו אינה נובעת מן הטענה הפוזיטיבית. המעבר מן הטענה הפוזיטיבית (כל ההתחלות קשות) לטענה המנוגדת (רק ההתחלות קשות) היא [[כשל לוגי]] שכיח.

* [[טענההטענה היפוכיתההיפוכית]] (inverse) לטענה פוזיטיבית תהיההיא "אם לא A אז לא B". כלומר שלילת כל הגורמים. גם כאן, הטענה ההיפוכית אינה נובעת מהטענה הפוזיטיבית.

* "אם לא B אז לא A" היא ה[[טענה קונטרה פוזיטיבית|טענה הקונטרה-פוזיטיבית]]. טענה זו '''שקולה''' לטענה הפוזיטיבית "אם A אז B".