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