תנאי מספיק

מתוך המכלול, האנציקלופדיה היהודית
גרסה מ־23:02, 27 בפברואר 2018 מאת יהודה שמחה ולדמן (שיחה | תרומות) (הגהה)
(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)
קפיצה לניווט קפיצה לחיפוש

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

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

בכתיב מתמטי נרשום:

טענה זו שקולה לטענה:

דוגמה

אם הרמזור יהיה אדום, אני אעצור. טענה זו שקולה לכך שאם לא עצרתי, הרמזור לא היה אדום אך לא אומרת בהכרח שאני אעצור רק אם הרמזור יהיה אדום.

ראו גם


Logo hamichlol.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0