תנאי הכרחי

תנאי הכרחי (באנגלית Necessity conditions, וגם Necessary condition) הוא מונח מתחום הלוגיקה, המביע תנאי הדרוש לקיום הטענה, שבלעדיו הטענה לא מתקיימת. 

שלילת התנאי ההכרחי: כאשר טענה א' היא תנאי הכרחי לטענה ב', הרי שטענה ב' יכולה להתקיים רק אם טענה א' מתקיימת. מכך גם נובע שאם טענה א' לא מתקיימת, הרי שגם טענה ב' לא מתקיימת.

יש לשים לב, שקיום טענה א' (ההכרחית) רק מאפשרת את טענה ב' - ולא בהכרח גוררת את הסקת טענה ב'.

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

כדי לרשום את הטענה א' הוא תנאי הכרחי של ב' בכתיב לוגי (ומתמטי) פורמלי רשמי, נשתמש בעובדת שקילות טענות זו לפיה ב' גוררת את א'.
A מייצגת את א' שהוא התנאי ההכרחי לקיומו של B המייצגת את ב'. נרשום את טענתנו כך: 
 שפירושו הרשמי: B גורר את A, כלומר מנכונות B אנו מסיקים את נכונות A. 

ביטוי השקול לוגית לביטוי:
 שפירושו הרשמי: ניגודו של A גורר אחריו את ניגודו של B. 

כלומר, הטענה א' הוא תנאי הכרחי לקיום ב'  - שקולה לטענה: אם לא א'? אזי לא ב'!

הקשר בין תנאי מספיק לתנאי הכרחי 
במובן מסוים, תנאי הכרחי הוא היפוכו של תנאי מספיק. 
הטענה: א' הוא תנאי הכרחי ל-ב'  
שקולה לטענה: ב' הוא תנאי מספיק ל-א' . 

כאשר שני התנאים, הן ההכרחי והן המספיק, נדרשים מאותו המאפיין א', כדי לקיים טענה ב', אזי למעשה קיימת בשקילות לוגית בין א' לבין ב'. 
כאשר: א' הוא תנאי הכרחי ומספיק לתנאי ב'  
משמע: א' גורר את ב'  - (מספיק), וגם ב' גורר את א' - (הכרחי). כלומר, א' וב' שקולים.

דוגמה 
רכישת כרטיס היא תנאי הכרחי לנסיעה ברכבת. טענה זו שקולה לטענות:
 ניתן לנסוע ברכבת רק אם נרכש כרטיס.
 אם לא נרכש כרטיס, לא ניתן לנסוע ברכבת.
 אם נוסעים ברכבת הרי שנרכש כרטיס.

גבינה היא תנאי הכרחי לפיצה. טענה זו שקולה לטענות:
 ניתן להכין פיצה רק אם יש גבינה.
 אם אין גבינה, אין פיצה.
 אם קיימת פיצה אז קיימת גם גבינה.

ראו גם
 תנאי מספיק (באנגלית Sufficient condition)
 תנאי הכרחי ומספיק (אם ורק אם). ובאנגלית: Necessity and Sufficiency conditions
 תנאי שקול
 חוקי היקש

קישורים חיצוניים
 

לוגיקה