תנאי הכרחי
ויקיפדיה האנציקלופדיה encyclopedia
תנאי הכרחי (באנגלית: Necessary condition וגם Necessity conditions) הוא מונח מתחום הלוגיקה, המביע תנאי הדרוש לקיום הטענה, שבלעדיו הטענה לא מתקיימת. למשל, בעל חיים שאין לו נוצות, אינו נחשב ציפור. לכן, נוצות שיש לבעל חיים מסוים, הן "תנאי הכרחי" להיותו ציפור. לעומת זאת, היכולת לעוף אינה "תנאי הכרחי" שבלעדיו בעל חיים אינו ציפור. למשל, יען היא ציפור למרות שהיא אינה מסוגלת לעוף.
שלילת התנאי ההכרחי: כאשר טענה א' היא תנאי הכרחי לטענה ב', הרי שטענה ב' יכולה להתקיים רק אם טענה א' מתקיימת. מכך גם נובע שאם טענה א' לא מתקיימת, הרי שגם טענה ב' לא מתקיימת.
יש לשים לב, שקיום טענה א' (ההכרחית) רק מאפשרת את טענה ב' – ולא בהכרח גוררת את הסקת טענה ב'.