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