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

 

כאשר מנסחים תנאים פורמליים ב[[מתמטיקה]] נעשה שימוש בקשר זה כדי להראות שאם תנאי אחד מתקיים, גם השני מתקיים (ובאותה המידה אם תנאי אחד לא מתקיים, גם השני אינו מתקיים). בניסוח אחר, אומרים על תנאי A שהוא "[[תנאי הכרחי|הכרחי]] ו[[תנאי מספיק|מספיק]]" עבור תנאי B כאשר יש קשר של אם ורק אם ביניהם. (הכרחי - אם A לא מתקיים, B לא מתקיים. מספיק - אם A מתקיים, B מתקיים).