הערה: קשר נוסף שהינו נפוץ בתחום המתמטקיה והוא גרירה דו-כיוונית (ידוע בכינויו אם ורק אם, אמ"מ).
הגדרתו פשוטה (נובעת משמו..) והיא מוגדרת ע"י קשר הגרירה החד כיווני.
<math>A\rightleftarrow leftrightarrow B := (A\rightarrow B)\and(B\rightarrow A)</math>
דוגמאות מילוליות:
* אינדוקציה לומדים בתיכון '''וגם''' זה קל. הפסוק יקבל ערך T רק אם האטומים המרכיבים אותו יקבלו ערך T (כלומר שניהם יתקיימו)
* 3 הוא מספר ראשוני '''או''' 5 הוא מספר ראשוני. הפסוק הזה מקבל ערך T כיוון ש 3/5 מספר ראשוני. גם הפסוק "3 הוא מספר ראשוני '''או''' 4 הוא מספר ראשוני" הוא בעל ערך T.
* מספר (טבעי) מסוים n ניתן להצגה בעזרת 2 ספרות (בבסיס עשרוני) <math>\rightleftarrowleftrightarrow</math> המספר n קטן מ 100. הפסוק יקבל ערך T רק אם שני התנאים יתקיימו ביחד. במילים אחרות, אם אחד מתקיים גם השני. במילים אחרות, אם אחד לא מתקיים אז השני גם לא מתקיים.
הערה (טרמינולוגיה):
*כאשר אומרים ש B הוא תנאי הכרחי ל A פירושו הוא <math>A \to B</math>
*כאשר אומרים ש B הוא תנאי מספיק ל A פירושו הוא <math>B \to A</math>
*כאשר אומרים ש B הוא תנאי הכרחי ומספיק ל A פירושו הוא <math>B \rightleftarrow leftrightarrow A</math>
תכונות הקשרים: