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