תנאי הכרחי – הבדלי גרסאות

למעשה, טענה ב' היא זו שגוררת את הסקת טענה א'. אם ידוע ש ב' מתקיימת, אפשר להסיק מכך שא' התקיימה (אחרת ב' לא היתההייתה מתקיימת). פעולת הגרירה ההיסקית נקראת באנגלית imply, ומסומנת בסימון מתמטי לוגי פורמלי כחץ מהמקור אל הטענה אותה מסיקים, בסימן הגרירה: <math>\implies</math>.